blob: 954dae5dcde08ebf5d78e9bff9d225bacb59884b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
T13985.hs:12:1: error:
• Kind variable ‘k’ is implicitly bound in data family
‘Fam’, but does not appear as the kind of any
of its type variables. Perhaps you meant
to bind it (with TypeInType) explicitly somewhere?
• In the data instance declaration for ‘Fam’
T13985.hs:15:15: error:
• Kind variable ‘a’ is implicitly bound in type family
‘T’, but does not appear as the kind of any
of its type variables. Perhaps you meant
to bind it (with TypeInType) explicitly somewhere?
• In the type instance declaration for ‘T’
T13985.hs:22:3: error:
• Kind variable ‘k’ is implicitly bound in data family
‘CD’, but does not appear as the kind of any
of its type variables. Perhaps you meant
to bind it (with TypeInType) explicitly somewhere?
• In the data instance declaration for ‘CD’
In the instance declaration for ‘C Type’
T13985.hs:23:8: error:
• Kind variable ‘a’ is implicitly bound in type family
‘CT’, but does not appear as the kind of any
of its type variables. Perhaps you meant
to bind it (with TypeInType) explicitly somewhere?
• In the type instance declaration for ‘CT’
In the instance declaration for ‘C Type’
T13985.hs:27:3: error:
• Kind variable ‘x’ is implicitly bound in type family
‘ZT’, but does not appear as the kind of any
of its type variables. Perhaps you meant
to bind it (with TypeInType) explicitly somewhere?
Type variables with inferred kinds: (k :: *) (a :: k)
• In the default type instance declaration for ‘ZT’
In the class declaration for ‘Z’
|
