Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail157.stderr
1
2 tcfail157.hs:27:10: error:
3     • Variable ‘b’ occurs more often
4         in the constraint ‘E m a b’ than in the instance head
5       (Use UndecidableInstances to permit this)
6     • In the instance declaration for ‘Foo m (a -> ())’
7
8 tcfail157.hs:27:10: error:
9     • Variable ‘b’ occurs more often
10         in the constraint ‘Foo m b’ than in the instance head
11       (Use UndecidableInstances to permit this)
12     • In the instance declaration for ‘Foo m (a -> ())’