testsuite/tests/typecheck/should_fail/tcfail058.stderr


1
2
3
4
5


tcfail058.hs:6:7:
    Expecting one more argument to ‛Array a’
    Expected a constraint, but ‛Array a’ has kind ‛* -> *’
    In the type signature for ‛f’: f :: Array a => a -> b