let sum_type_of_list l = tyOr_of_list (List.map ty_of_stl l)