Testcase for Coercible and newtype families (#8548)