タイプファミリーであれば
taipufamiriideareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of タイプファミリー

1. If it's a type family; When it's a type family

Ba Conditional
Computing