Function safeDivide2

test/README.example.proof.ts:429–432

(a: number, b: number)

    const none: Option<never> = { kind: "none" };

    const safeDivide2 = (a: number, b: number) =>
      safeDivide(a, b)
        .andThen((value) => some(value))
        .terminate("raise", () => none);

    expect(safeDivide2).to(equal<(a: number, b: number) => Effected<never, Option<number>>>);
  }