let split _ p = Bag.elt p