let big_union l = List.fold_left union empty l