A step followed by another, made from its state: e.g. a parent's own step, then a child's handle,
andThen(leave(state), children.Home.update({ _tag: 'ProductGone', at })). The state is the second's, and the
commands and the events are both steps', in order; its lists are always present. Taking a step's state by
hand to make the next one would drop its commands and its events. It is dual: andThen(next) takes the step
last, for a chain of steps written with pipe.
A step followed by another, made from its state: e.g. a parent's own step, then a child's handle,
andThen(leave(state), children.Home.update({ _tag: 'ProductGone', at })). The state is the second's, and the commands and the events are both steps', in order; its lists are always present. Taking a step'sstateby hand to make the next one would drop its commands and its events. It is dual:andThen(next)takes the step last, for a chain of steps written withpipe.