blob: 9389400d6d5813d6be74018722243af1aba0c59d (
plain)
1
2
3
4
5
6
7
|
T18451b.hs:11:15: error: [GHC-97739]
• These kind and type variables: a b (c :: Const Type b)
are out of dependency order. Perhaps try this ordering:
(b :: k) (a :: Const (*) b) (c :: Const (*) b)
• In the type signature:
foo :: forall a b (c :: Const Type b). Proxy '[a, c]
|