An asynchronous leased value - View it on GitHub