injective_type_families