Applies a function contained in another Effect to the value of this IO.
A new IO containing the result of applying the function to the value.
An Effect containing a function that transforms a value of type A to type B.