blob: d12d9b382a167075834c468ca7f4e4c0d9f69201 (
plain)
1
2
3
4
5
6
7
|
T18451b.hs:10:8: error:
• 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]
|
