A pure specification of the IO monad - View it on GitHub