1 2 3 4 5 6
tcfail180.hs:10:9: Couldn't match expected type ‘f0 b0’ with actual type ‘Bool’ In the pattern: True In a case alternative: True -> () In the expression: case p of True -> ()