emphasized the requirement of lists with mixed subtypes