Compiling typeerrors/Edinburgh/Ex5.hs

(5,23): Type error in application
*** Expression     : y True
*** Term           : True
*** Type           : Bool
*** Does not match : Int 

Compilation failed with 1 type error