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