Add test cases for Coercing recursive newtypes (#8503)