Fix impredicativity (again)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail011.stderr
1
2 tcfail011.hs:3:25: error: Variable not in scope: y