File:Monad.P1.4A.Maybe.201900606.pdf