ghc/tests/typecheck/should_fail/tcfail047.stderr

   1
   2 tcfail047.hs:6:
   3     Illegal instance declaration for `A (a, (b, c))'
   4         (the instance type must be of form (T a b c)
   5          where T is not a synonym, and a,b,c are distinct type variables)