The type of the value produced by the computation.
The suspendable computation that produces a value of type A.