Fix impredicativity (again)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail058.stderr
1
2 tcfail058.hs:6:7: error:
3     • Expecting one more argument to ‘Array a’
4       Expected a constraint, but ‘Array a’ has kind ‘* -> *’
5     • In the type signature:
6         f :: (Array a) => a -> b