File:Monad.3.C.Maybe.20180117.pdf