polymorphic finite bags