switch to a simpler form for the multipass monad for M, based on the one for R