Summary

In this chapter, we have learned about a number of algebraic data types, including the Functor, Nothing, Just, Maybe, Either, and Monad data types. We have learned how these types can help us to ensure that certain errors are handled correctly by our code.

In the next chapter, we are going to learn about other functional programming constructs known as Optics, as well as two new powerful techniques: lazy evaluation and immutability.