File:Monad.3.I.Transformer.201800303.pdf