Time used in futures. The parameter t can be any Ord type. The
added bounds represent -Infinity and +Infinity. Pure values have time
minBound (-Infinity), while never-occurring futures have time maxBound
(+Infinity).