Type Alias StepFunction<I, LS>

StepFunction:
    | Func<I, LS>
    | Rest<I, LS>
    | IfThenElse<I, LS>
    | LoopWhile<I, LS>
    | SwitchCase2<I, LS>
    | SwitchCase3<I, LS>
    | Final<I, LS>