I noticed that traceM is generalized to use Applicative. Then, how about replicateM/replicateM_?

I don't quite like confusing names, but is better than needlessly restrictive.