File:Monad.4.A.Types.20190212.pdf