Struct representation for active patterns

To make active patterns near-zero-cost abstraction I propose to add struct versions of FSharpOption and FSharpChoice to FSharp.Core and use it as active patterns backend.

The existing way of approaching this problem in F# is using plain functions with custom struct option/choice types instead of active patterns.

Pros and Cons

The advantages of making this adjustment to F# is reducing memory traffic for code with heavily use of active patterns.

The disadvantages of making this adjustment to F# is additional data structures should be added to the FSharp.Core.

Extra information

Estimated cost (XS, S, M, L, XL, XXL): M

Affidavit

Please tick this by placing a cross in the box:

• This is not a question (e.g. like one you might ask on stackoverflow) and I have searched stackoverflow for discussions of this issue
• I have searched both open and closed suggestions on this site and believe this is not a duplicate
• This is not something which has obviously "already been decided" in previous versions of F#. If you're questioning a fundamental design decision that has obviously already been taken (e.g. "Make F# untyped") then please don't submit it.

Please tick all that apply:

• This is not a breaking change to the F# language design
• I or my company would be willing to help implement and/or test this