明示したときだけNonEmptyにするべきだし、サブタイプ関係は無いです