Haskell DSL providing denotational, composable semantics for discrete-step, locally stateful, interactive programs, games & automations.