Test case for undersaturated newtype in Coercions

This is related to #8541.