blob: 5c78312f29647aad13d51d1afb1860592ff2a7fe (
plain)
1
2
3
4
5
6
7
|
T16247.hs:10:20: error:
• These kind and type variables: a k (b :: k)
are out of dependency order. Perhaps try this ordering:
k (a :: k) (b :: k)
• In the kind ‘forall a k (b :: k). SameKind a b -> Type’
In the data type declaration for ‘Foo’
|