let
split _ p =
Bag
.elt p