File:Monad.P2.2A.STrans.Generic.20190518.pdf