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