Implement monadic rho and monadic iota.