blob: 1e7a46c2ab41a0fda43f6140a983c3bc11b4b613 (
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
|
T15743c.hs:10:1: error:
• The kind of ‘T’ is ill-scoped
Inferred kind: T :: forall {d :: k}.
forall k (c :: k) (a :: Proxy c) (b :: Proxy d) ->
SimilarKind a b -> *
NB: Inferred variables (namely: (d :: k)) always come first
Perhaps try this order instead:
k
(d :: k)
(c :: k)
(a :: Proxy c)
(b :: Proxy d)
(x :: SimilarKind a b)
• In the data type declaration for ‘T’
T15743c.hs:11:1: error:
• The kind of ‘T2’ is ill-scoped
Inferred kind: T2 :: forall (d :: k).
forall k (c :: k) (a :: Proxy c) (b :: Proxy d) ->
SimilarKind a b -> *
NB: Specified variables (namely: (d :: k)) always come first
Perhaps try this order instead:
k
(d :: k)
(c :: k)
(a :: Proxy c)
(b :: Proxy d)
(x :: SimilarKind a b)
• In the data type declaration for ‘T2’
|
