Type class supporting converting this union to a Coproduct of key-value pairs.
Type class supporting collecting the keys of a union as an HList.
Type class supporting mapping a higher rank function over the values of a union.
Type class supporting union member selection.
Type class supporting union member selection.
Type class supporting converting this union to a Map whose keys and values
are typed as the Lub of the keys and values of this union.
Type class supporting collecting the value of a union as a Coproduct.