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