It looks like M Farkas-Dyck submitted a patch to generalize filterM, mapAndUnzipM, zipWithM, zipWithM_, replicateM, and replicateM_ to use Applicative instead of Monad: https://ghc.haskell.org/trac/ghc/ticket/10168.

Also, +1 on the suggestion. Let's tie up the loose ends of the AMP now that's it's official.