blob: 6bb2af771c81634dfdb97d0661d12958ff81aea1 (
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 -XUndecidableInstances 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 -XUndecidableInstances 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 -XUndecidableInstances to permit this)
In the type instance declaration for `T'
|
