Recursive Variant: A simple library for Recursive Variant Types - View it on GitHub