effect-tea-persistent
    Preparing search index...
    andThen: {
        <State, Event2 = never>(
            next: (state: State) => State | Raised<State, Event2>,
        ): <Event1 = never>(
            step: State | Raised<State, Event1>,
        ) => Step<State, Event2 | Event1>;
        <State, Event1 = never, Event2 = never>(
            step: State | Raised<State, Event1>,
            next: (state: State) => State | Raised<State, Event2>,
        ): Step<State, Event1 | Event2>;
    } = ...

    A step followed by another, made from its state: the state is the second's, and the events are both steps', in order. Taking a step's state by hand to make the next one would drop its events. It is dual, for pipe. It takes the second step at once, so a chain of messages to children by id puts the children back once per message, a copy of the record of children each time. A step that tells many children is written with forEach, over the ids or over the steps already made, which puts them back once (decision 0240).

    Type Declaration