Fix impredicativity (again)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail053.stderr
1
2 tcfail053.hs:3:12: Not in scope: type constructor or class ‘A’