blob: 22ca786343dd5f0c6e97fee7e6448e8cb1e56a52 (
plain)
1
2
3
4
5
6
7
|
T14066g.hs:9:1: error:
• These kind and type variables: a (b :: a) (d :: SameKind c b)
are out of dependency order. Perhaps try this ordering:
a (c :: a) (b :: a) (d :: SameKind c b)
NB: Implicitly declared variables come before others.
• In the data type declaration for ‘Q’
|