3 ms·Errata: " (() -> b) is equivalent to (Time -> b)" should be " (() ~> b) is equivalent to (Time -> b)".by tel 11y agoErrata: " (() -> b) is equivalent to (Time -> b)" should be " (() ~> b) is equivalent to (Time -> b)".