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 combining Keys and Values for convenience and compilation speed.
Type class combining Keys and Values for convenience and compilation speed.
It's similar to Fields, but produces distinct HList and Coproduct
instead of a zipped Coproduct.
Type class supporting collecting the value of a union as a Coproduct.