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