Function ok

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

(value: T)

    type Result<T, E> = { kind: "ok"; value: T } | { kind: "err"; error: E };

    const ok = <T>(value: T): Result<T, never> => ({ kind: "ok", value });
    const err = <E>(error: E): Result<never, E> => ({ kind: "err", error });

    type TypeError = Effect.Error<"type">;