user4692: I don't see any way to use IO in Contract and I don't see any functions for getting a POSIXTime from the things I can get within Contract.

user4692: there is a currentTime function in Plutus.Contract.Request with the signature
currentTime :: forall w s e. AsContractError e => Contract w s e POSIXTime


4692: <p>I don't see any way to use <code>IO</code> in <code>Contract</code> and I don't see any functions for getting a <code>POSIXTime</code> from the things I can get within <code>Contract</code>.</p>
 4692: <p>there is a <code>currentTime</code> function in <code>Plutus.Contract.Request</code> with the signature</p>
<pre><code>currentTime :: forall w s e. AsContractError e =&gt; Contract w s e POSIXTime
</code></pre>
