Interpreting commmands with extensible effects using Cont/Concur monad, State, and variants. Concur monad allows inter-mixiing sequential and concurrent effects. See https://github.com/louispan/glazier/blob/master/test/Spec.hs for examples.