liftM is:exact

Promote a function to a monad. This is equivalent to fmap but specialised to Monads.
Promote a function to a monad.
Promote a bijection to a Control.Invertible.MonadArrow-form bijection. (Equivalent to bifmap and biarr.)
Promote a function to a monad.