Compiling typeerrors/Edinburgh/Ex8.hs

(3,13): Type error in application
*** Expression     : t y
*** Term           : t
*** Type           : [a]   
*** Does not match : b -> c
*** Because        : it is not a function

Compilation failed with 1 type error