Waits a specified duration and then execute an action
type Delay t = t -> forall a. IO a -> IO a
Waits until just after a specified time and then execute an action,
passing in the actual time.
type Schedule t = t -> Sink (Sink t)
A serializing clock. Can (a) produce a time and (b) serialize an