(module Bag)