blob: 2fc8e1b0783b92444295dd36fb30f8e0e078088a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
TyFamUndec.hs:6:1:
Variable occurs more often than in instance head
in the type family application: T (b, b)
(Use -XUndecidableInstances to permit this)
In the type synonym instance declaration for `T'
TyFamUndec.hs:7:1:
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 synonym instance declaration for `T'
TyFamUndec.hs:8:1:
Nested type family application
in the type family application: T (a, T b)
(Use -XUndecidableInstances to permit this)
In the type synonym instance declaration for `T'
|