Polymorphic Finite Bags CS203