Fail fast in solveLocalEqualities
[ghc.git] / testsuite / tests / polykinds / T12593.stderr
1
2 T12593.hs:12:31: error:
3     • Expecting one more argument to ‘k’
4       Expected a type, but
5       ‘k’ has kind
6       ‘((k0 -> Constraint) -> k1 -> *) -> Constraint’
7     • In the kind ‘k’
8       In the type signature:
9         run :: k2 q =>
10                Free k k1 k2 p a b
11                -> (forall (c :: k) (d :: k1). p c d -> q c d) -> q a b