blob: 5d406cd5a604eda8c8354cf6d7cab166d34ed339 (
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 the context of an instance declaration
In the instance declaration for `Eq (Rec f)'
|