On Sat, Feb 21, 2015 at 5:34 PM, Oleg Grenrus wrote:

I propose to add Functor, Applicative, Monad, Foldable, and Traversable and maybe even MonadFix instances to wrapper newtypes in the Data.Monoid module.

Please do! I proposed this a while back but never got around to following up on it.

See https://mail.haskell.org/pipermail/libraries/2014-December/024500.html and the resulting thread for more instance suggestions.

Regards,

Sean