Fix impredicativity (again)
[ghc.git] / testsuite / tests / typecheck / should_fail / T10495.stderr
1
2 T10495.hs:5:1: error:
3     • Couldn't match representation of type ‘a0’ with that of ‘b0’
4         arising from a use of ‘coerce’
5     • When instantiating ‘foo’, initially inferred to have
6       this overly-general type:
7         forall a b. Coercible a b => a -> b
8       NB: This instantiation can be caused by the monomorphism restriction.