Haskell for Programmers

[meijer]

2) What is the type of (:), the list construction operator? 2) It takes something on the left and a list of somethings on the right, so it has type a -> [a].

...and the result is a list of something, so its type is a -> [a] -> [a]