File:Monad.3.B.Maybe.20170822.pdf