Sum types with Generics-Rep instances to Variant for free! - View it on GitHub