Carrier for Coproduct operations.
Carrier for HList operations.
Record operations on HList's with field-like elements.
Discriminated union operations on Coproducts's with field-like elements.
Enhances values of any type with a representation via Generic with a method supporting conversion to a Zipper.