The Maybe monad

WWW: https://armcn.github.io/maybe
