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 -> ()