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