Add examples from #8541 to testsuite
Test case for undersaturated newtype in Coercions

This is related to #8541.
Test coercing under under-saturated newtypes