An asynchronous computation, which, when run, will eventually produce a value of type T, or else raises an exception.