Functors, monads, applicatives
Classic sum type Maybe Implements Monad, Functor and Applicative behaviours
Maybe