A monad transformer and corresponding type class for computations which consume random values.