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