Though Monoid is used by several modules in Control.Monad, it doesn't have anything to do with monads itself, so it probably doesn't belong there. Data?