Control.Monad.Group
class
MonadGroup
m t