CatBagMonad.hs