blob: 158aec650d168766806846d3999de8c817d409e1 (
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 :: k1)
(c :: Proxy b)
(d :: Proxy a)
(x :: SameKind b d)
are out of dependency order. Perhaps try this ordering:
k1
(a :: k1)
(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’
|