blob: fef47b534a864ab34e041a93b47d4207174ca628 (
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’
|