testsuite/tests/typecheck/should_fail/tcfail157.stderr

   1
   2 tcfail157.hs:27:10:
   3     Variable ‘b’ occurs more often than in the instance head
   4       in the constraint: E m a b
   5     (Use UndecidableInstances to permit this)
   6     In the instance declaration for ‘Foo m (a -> ())’
   7
   8 tcfail157.hs:27:10:
   9     Variable ‘b’ occurs more often than in the instance head
  10       in the constraint: Foo m b
  11     (Use UndecidableInstances to permit this)
  12     In the instance declaration for ‘Foo m (a -> ())’