Creates an IO instance from a suspendable computation.
An IO instance encapsulating the computation.
The suspendable computation that produces a value of type A.