blob: 4ac7e2537c9e7ce6b05ae17e430cf3c35ebb1fb8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
TyFamUndec.hs:6:15: error:
• Variable ‘b’ occurs more often
in the type family application ‘T (b, b)’
than in the instance head ‘T (a, [b])’
(Use UndecidableInstances to permit this)
• In the type instance declaration for ‘T’
TyFamUndec.hs:7:15: error:
• The type family application ‘T (a, Maybe b)’
is no smaller than the instance head ‘T (a, Maybe b)’
(Use UndecidableInstances to permit this)
• In the type instance declaration for ‘T’
TyFamUndec.hs:8:15: error:
• Illegal nested type family application ‘T (a, T b)’
(Use UndecidableInstances to permit this)
• In the type instance declaration for ‘T’
|