Applies a function contained in another Effect to the value of this Effect.
A new Effect 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.