The Maybe monad

The Maybe sum type forms a monad. An article for object-oriented programmers. This article is an instalment in an article series about monads. The Maybe sum type is a useful data type that forms a functor. Like many other useful functors, it also forms a monad.