make_coercion cls_tycon initial_cls_inst_tys nt_tycon tc_args
| Just co_con <- newTyConCo_maybe nt_tycon
, let co = mkSymCoercion (mkTyConApp co_con tc_args)
make_coercion cls_tycon initial_cls_inst_tys nt_tycon tc_args
| Just co_con <- newTyConCo_maybe nt_tycon
, let co = mkSymCoercion (mkTyConApp co_con tc_args)