Replaced domonad by with-monad where possible.