A monad for time-dependant values, providing explicit effects for delayed computations, latency, etc.