blob: 8bcd75ac9b1bac8762ebd5163dc445eec27e50fd (
plain)
1
2
3
4
5
6
7
8
|
T16247a.hs:22:28: error:
• These kind and type variables: p k
are out of dependency order. Perhaps try this ordering:
k (p :: k)
• In the kind ‘forall p k.
(U1 :: k -> Type) p ~> Rep1 (U1 :: k -> Type) p’
In the data type declaration for ‘From1U1Sym0’
|