Encapsulate freshness monad