On 24/09/2015, David Feuer <david.feuer at gmail.com> wrote: > Yes, and I think there are still some more overly-specific things that come > in here too, such as replicateM and filterM, which I don't think have been > generalized yet. Someone posted a patch for that... https://ghc.haskell.org/trac/ghc/ticket/10168