Data.Invertible.Monad
bind
(=<<->>=)
liftM