blob: d982d169800ad0bb9846b76f0c6c2102e77d0e9a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
T15743d.hs:10:1: error:
• These kind and type variables: k
(c :: k)
(a :: Proxy c)
(b :: Proxy d)
(x :: SimilarKind a b)
are out of dependency order. Perhaps try this ordering:
k
(d :: k)
(c :: k)
(a :: Proxy c)
(b :: Proxy d)
(x :: SimilarKind a b)
NB: Implicitly declared variables come before others.
• In the data type declaration for ‘T2’
|