equiv.subtype_quotient_equiv_quotient_subtype source