Proposal: Move some functions from Control.Monad to Data.List

Edward Kmett ekmett at
Tue Dec 30 04:45:31 UTC 2014

I'd be a lot more keen on this proposal if it was suggesting just to *also*
export them from Data.List, rather than move them. A lot of code imports
them from their existing location, and this doesn't provide a clean upgrade
path for users.


On Mon, Dec 29, 2014 at 8:09 PM, David Feuer <david.feuer at> wrote:

> Specifically:
> filterM,
> mapAndUnzipM (unless we can sensibly and efficiently generalize it
> from lists to arbitrary Functors or at least Traversables, which looks
> like it might be possible),
> zipWithM, zipWithM_,
> replicateM, replicateM_
> These functions all have to do with monads, yes, but they're about
> using monads with lists. Some other types are perfectly capable of
> doing similar things with monads.
> David the Feuer
> _______________________________________________
> Libraries mailing list
> Libraries at
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Libraries mailing list