I propose renaming Control.Monad.Monoid as Data.Monoid, since it's not a monad concept, though only Control.Monad.* use it at present.