blob: 403a871b550c381bb30ce860ddee3b79c6a36706 (
plain)
1
2
3
4
5
6
7
8
|
T15591b.hs:9:3: error:
• The kind of ‘T4’ is ill-scoped
Inferred kind: T4 :: forall {b :: Proxy a}. forall a ->
Proxy b -> *
NB: Inferred variables (namely: (b :: Proxy a)) always come first
Perhaps try this order instead: a (b :: Proxy a) (c :: Proxy b)
• In the associated type family declaration for ‘T4’
|
