Monad instance for Monoid e => (,) e

This is a relatively simple instance, so I was surprised that I couldn't find it in base. My proposal is to add the instance to Control.Monad.Instances, undeprecating the module.