New form of Rand monad