File:Monad.3.A.Maybe.20180827.pdf