Apologies, but here's the obligatory link to my OneOf exhaustive type matching library: https://github.com/mcintyre321/OneOf
One thing that I like about my lib is that is serializes to json pretty well, and i added some more special-case variants such as accumulative errors (AccResult) and some applicative lifting operations.
https://github.com/Matthew-Dove/ContainerExpressions#eithert
Once again - thanks for your contribution to my learning!