Test coercing under under-saturated newtypes