blob: 3ffec6407fca4d18f9072a32825ce1d07f7b9093 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
BadTelescope4.hs:9:1: error:
• The kind of ‘Bad’ is ill-scoped
Inferred kind: Bad :: forall {k} (b :: Proxy a). forall (a :: k) ->
Proxy b -> forall (d :: Proxy a) -> SameKind b d -> *
NB: Inferred variables
(namely: k) always come first
then Specified variables (namely: (b :: Proxy a))
Perhaps try this order instead:
k
(a :: k)
(b :: Proxy a)
(c :: Proxy b)
(d :: Proxy a)
(x :: SameKind b d)
• In the data type declaration for ‘Bad’
|