ghc/tests/typecheck/should_fail/tcfail004.stderr

   1
   2 tcfail004.hs:3:
   3     Couldn't match `(t, t1)' against `(t2, t3, t4)'
   4         Expected type: (t, t1)
   5         Inferred type: (t2, t3, t4)
   6     In the right-hand side of a pattern binding: (1, 2, 3)