Do Monadic using hoist.