Data.Invertible.Monad

bind

(=<<->>=)

liftM