blob: 5c044278419d928c864cd6760875758f059238d6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
T15764.hs:14:2: error:
• The kind of ‘T6’ is ill-scoped
Inferred kind: T6 :: forall (a :: k) k (b :: Proxy a).
Proxy '(k, b) -> *
NB: Inferred variables
(namely: (a :: k)) always come first
then Specified variables (namely: k (b :: Proxy a))
Perhaps try this order instead:
k (a :: k) (b :: Proxy a) (proxy :: Proxy '(k, b))
• In the associated type family declaration for ‘T6’
|