In this chapter, we discussed the effects defined in the standard library. First, an Option which represents a case where it might be impossible for the function to return the result. Then the Try which extends the optionality with the possibility to return an error description in the failure case. Next was Either which further extends the concept of Try by allowing it to provide an arbitrary type as a description of an unsuccessful path. Finally, the Future which stays a bit aside in this list and represents the notion of long and possibly executed in separate context computations

We noticed that these effects have different constructors tailored to the situations that require the creation of the respective instances. In accordance, they offer slightly different ways to access values that are stored inside the container.

We paid attention to the fact that having effects...