Control.Monad.Group

class MonadGroup m t