monad.pdf