-- type String = List(Char)

unlines : List(List(Char)) -> List(Char)
unlines([]) = []
unlines([l]) = l
unlines(l :: ls) = append(l, append("\n", unlines(ls)))