Compiling typeerrors/Edinburgh/Ex12.hs

(3,17): Type error in infix application
*** Expression     : p+p
*** Term           : +
*** Type           : Int            -> Int            -> Int
*** Does not match : (Bool -> Bool) -> (Bool -> Bool) -> [a]

Compilation failed with 1 type error