
tcfail012.hs:3:8:
    Couldn't match expected type `Bool' with actual type `[a0]'
    In the expression: []
    In a pattern binding: True = []
