blob: 51d1fad66f0a55148fb08a0dd91c146a1314b7df (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
T15743d.hs:10: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’
|
