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