Also: (++) :: [a] -> [a] -> [a]

Article implies: (++) :: [a] -> a -> [a]