Convert the main Rand monad to LHS