-\r
-tcfail157.hs:27:10: error:\r
- Variable ‘b’ occurs more often\r
- in the constraint ‘E m a b’ than in the instance head\r
- (Use UndecidableInstances to permit this)\r
- In the instance declaration for ‘Foo m (a -> ())’\r
-\r
-tcfail157.hs:27:10: error:\r
- Variable ‘b’ occurs more often\r
- in the constraint ‘Foo m b’ than in the instance head\r
- (Use UndecidableInstances to permit this)\r
- In the instance declaration for ‘Foo m (a -> ())’\r
+
+tcfail157.hs:27:10: error:
+ • Variable ‘b’ occurs more often
+ in the constraint ‘E m a b’
+ than in the instance head ‘Foo m (a -> ())’
+ (Use UndecidableInstances to permit this)
+ • In the instance declaration for ‘Foo m (a -> ())’