blob: f51993863633c3ba49f5322b1483925df113ad8f (
plain)
1
2
3
4
5
6
7
8
9
|
T16512b.hs:6:3: error:
• Type family equation violates the family's injectivity annotation.
Type variable ‘a’ cannot be inferred from the right-hand side.
In the type family equation:
G [a] = [G a] -- Defined at T16512b.hs:6:3
• In the equations for closed type family ‘G’
In the type family declaration for ‘G’
Suggested fix: Perhaps you intended to use UndecidableInstances
|