added bag with monoids