Type Alias Step<State, Command, Event>

The result of a transition. commands are data, what update decided to do in the world, turned into effects by the program's runCommand. events are for the parent (the "OutMsg" pattern): what happened that the program itself does not handle, e.g. a page asking to be left. A program that emits none leaves Event as never.