blob: 56c97c20ddb1505af195fb5338895d27ab958480 (
plain)
1
2
3
4
5
6
7
|
tcfail108.hs:7:10:
Non type-variable argument in the constraint: Eq (f (Rec f))
(Use -XFlexibleContexts to permit this)
In the context: (Eq (f (Rec f)))
While checking an instance declaration
In the instance declaration for `Eq (Rec f)'
|