Idris-style case split code generation

i've recently looked into a lot of academic research languages and i found something that'd be very cool to have in F# as well.

the idea is to have an action on a discriminated union value that creates all the available cases like this.


basically i want to implement the same thing, but i was hoping someone would help me out with this.
since filling in a single discriminated union is already implemented it shouldn't be much of a leap right?

Start by locating the existing implementation for filling in a single discriminated-union case, which the issue identifies as related work. Compare its entry point and tests with the requested Idris-style case-split action; done means the action generates all available discriminated-union cases.

Written by the indexing model from the issue text.