[original issue 78 by @Bodigrim]

Alternative instances are typically defined as

instance (Monoid w, Functor m, MonadPlus m) => Alternative (AccumT w m)

instead of more symmetric

instance (Monoid w, Alternative m, Monad m) => Alternative (AccumT w m)

Would a patch changing this be accepted?