Set default-impl of `mapM`/`sequence` methods to `traverse`/`sequenceA`

This is made possible by the AMP, as we don't need the `WrappedMonad`
helper for that anymore.

Approved-by: Edward Kmett <ekmett@gmail.com>