File:Monad.3.D.State.20170901.pdf