Chains this IO with another Effect using the provided transform function.
An IO containing the result of the chained computation.
The function that takes the value of type A and produces another Effect of type B.