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