tcfail178.hs:15:7: error:
• Couldn't match type ‘()’ with ‘[a]’
Expected type: Bool -> [a]
Actual type: Bool -> ()
• In the first argument of ‘a’, namely ‘y’
In the expression: a y
In an equation for ‘c’: c = a y
• Relevant bindings include c :: [a] (bound at tcfail178.hs:15:1)
tcfail178.hs:18:7: error:
• Couldn't match expected type ‘Bool -> [a]’ with actual type ‘()’
• In the first argument of ‘a’, namely ‘()’
In the expression: a ()
In an equation for ‘d’: d = a ()
• Relevant bindings include d :: [a] (bound at tcfail178.hs:18:1)