File:Monad.P2.1C.STrans.Monad.20190612.pdf