blob: 4096ad36c6527bec0d3d112f74405dae8eb23a59 (
plain)
1
2
3
4
5
6
7
|
tcfail108.hs:7:10: error:
• Variable ‘f’ occurs more often
in the constraint ‘Eq (f (Rec f))’
than in the instance head ‘Eq (Rec f)’
(Use UndecidableInstances to permit this)
• In the instance declaration for ‘Eq (Rec f)’
|