blob: 2b6c4e4b3efa68011bc058c211896445ba4581ee (
plain)
1
2
3
4
5
6
7
8
|
T12430.hs:7:3: error: [GHC-05175]
• Type family equation violates the family's injectivity annotation.
Type variable ‘x’ cannot be inferred from the right-hand side.
In the type family equation:
F x = C x -- Defined at T12430.hs:7:3
• In the equations for closed type family ‘F’
In the type family declaration for ‘F’
|