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