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 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
.