A mirror of a monad for fresh values