Function range4

test/README.example.proof.ts:562–567

(start: number, stop: number)

    expect(range3).to(equal(range2));

    const range4 = (start: number, stop: number) =>
      range(start, stop)
        .andThen((value) => ok(value))
        .catchAll((error, ...args) =>
          err({ error, ...(args.length === 0 ? {} : { message: args[0] }) }),
        );

    expect<InferEffect<typeof range4>>().to(equal<Log>);
    expect(range4).to(extend(range3));