parametrize types on Option

[ianatha]

see issue #704

[ericgio]

Hey @ianatha, thanks for the PR! I'm not sure why the CI actions aren't running against your PR here, but it looks like this change is triggering a bunch of type errors, which I see in your fork.

[ianatha]

Because the action is trying to publish a package from a non-main branch.

[ericgio]

Because the action is trying to publish a package from a non-main branch

Got it, thanks. The change still triggers failures though.

[ianatha]

You’re right, and I should have clarified my intent with the PR—I apologise for the miscommunication. I wanted to ensure we agreed on what the top-level type safe API looks like before cascading the parametric type down.

[ericgio]

I wanted to ensure we agreed on what the top-level type safe API looks like before cascading the parametric type down

@ianatha is there any particular part of the change you wanted to discuss or that needs my attention?

Also, I unintentionally closed the PR by deleting another branch; would you mind please re-submitting the PR? I apologize for that, and thank you for taking the time to work on this!