Refactor: make the num_taxa field a sum type.