blob: 2394f896ad70f39f3c7006fb2d607d3b77d3913e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
BadTelescope4.hs:9:1: error:
• These kind and type variables: (a :: k)
(c :: Proxy b)
(d :: Proxy a)
(x :: SameKind b d)
are out of dependency order. Perhaps try this ordering:
k
(a :: k)
(b :: Proxy a)
(c :: Proxy b)
(d :: Proxy a)
(x :: SameKind b d)
NB: Implicitly declared kind variables are put first.
• In the data type declaration for ‘Bad’
|