File:Monad.P2.1A.STrans.Intro.20190522.pdf