implement Set.Adapt.of_list for < 4.02