Split up coercionKind
[ghc.git] / testsuite / tests / typecheck / should_fail / T9858a.stderr
1
2 T9858a.hs:20:18: error:
3     • Illegal qualified type:
4         (() :: Constraint, () :: Constraint) => ()
5     • In the expansion of type synonym ‘PX’
6       In the newtype instance declaration for ‘F’