Fundeps work even for unary type classes
[ghc.git] / testsuite / tests / typecheck / should_fail / T7809.stderr
1
2 T7809.hs:8:8: error:
3     • Illegal polymorphic type: PolyId
4       GHC doesn't yet support impredicative polymorphism
5     • In the type signature:
6         foo :: F PolyId