The Modeling Monad Continuation

Earlier I wrote that I discovered a modeling monad for simulating dynamic systems in F#. I denoted the corresponded type by Dynamics<’a> and the corresponded workflow builder by dynamics. Recently I discovered that a monad transformer based on this modeling monad and the continuation monad is suitable for the discrete event-driven and process-driven simulation. The corresponded monad has type: DynamicsCont<’a> = Dynamics<’a -> unit> -> Dynamics<unit>. I denoted the corresponded workflow builder by dynamicscont.