ghc/tests/typecheck/should_fail/tcfail004.stderr

   1
   2 tcfail004.hs:3:
   3     Couldn't match `($0, $1)' against `($2, $3, $4)'
   4         Expected type: ($0, $1)
   5         Inferred type: ($2, $3, $4)
   6     In the right-hand side of a pattern binding: (1, 2, 3)
   7
   8
   9 Compilation had errors