The TaggedAlgebraic type that I made some time ago is also related. It's roughly a superset in that it exposes all members of all types instead of only the common types:


https://github.com/s-ludwig/taggedalgebraic

Reply via email to