implement combinators on RNG State