Function some

test/README.example.proof.ts:426–426

(value: T)

    type Option<T> = { kind: "some"; value: T } | { kind: "none" };

    const some = <T>(value: T): Option<T> => ({ kind: "some", value });
    const none: Option<never> = { kind: "none" };

    const safeDivide2 = (a: number, b: number) =>