list == [char] elem == char append :: (elem, list) -> [char] append (elem, list) = list ++ [elem]