blob: 23f0a4c9d062940f3a948d777db8183f9968ef08 (
plain)
1
2
3
4
5
6
7
8
9
|
T14066g.hs:9:1: error:
• The kind of ‘Q’ is ill-scoped
Inferred kind: Q :: forall (c :: a). forall a (b :: a) ->
SameKind c b -> *
NB: Specified variables (namely: (c :: a)) always come first
Perhaps try this order instead:
a (c :: a) (b :: a) (d :: SameKind c b)
• In the data type declaration for ‘Q’
|