Compiling typeerrors/Edinburgh/Ex3.hs

(3,19): Type error in application
*** Expression     : f t
*** Term           : f
*** Type           : a   -> b  
*** Does not match : [a] -> [b]
*** Because        : unification would give infinite type

Compilation failed with 1 type error