1 2 3 4 5 6
T3823B.hs:8:7: Couldn't match expected type `A' with actual type `Bool' In the first argument of `y', namely `a' In the expression: y a In an equation for `b': b = y a