ghc/tests/typecheck/should_fail/tcfail004.stderr

   1
   2 tcfail004.hs:3:
   3     Couldn't match the type `(aWn, aWp, aWr)' against `(aWi, aWl)'
   4         Expected: (aWn, aWp, aWr)
   5         Inferred: (aWh, aWk)
   6         In a pattern binding: (f, g) = (1, 2, 3)
   7
   8
   9 Compilation had errors