mutable composition = (If_empty's _type_of_composition)