Encapsulate freshness monad

Second-order pull request.