tcfail005.hs:3:9:
    Couldn't match expected type ‛[t]’ with actual type ‛(t0, Char)’
    Relevant bindings include
      h :: t (bound at tcfail005.hs:3:2)
      i :: [t] (bound at tcfail005.hs:3:4)
    In the expression: (1, 'a')
    In a pattern binding: (h : i) = (1, 'a')