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