liftCB :: Monad m => ((a -> b) -> a -> b)
                  -> ((a -> m b) -> a -> m b)
liftCB f = \mf x -> do
   y <- mf x
   return (f (const y) x)