Read along as I implement the Maybe type and some useful functions for working on Maybe values in λ-calculus.