Annotates a value A
with a type W
.
Proof that A
can be added to a HList L
without any duplicate names appearing in the result.
Proof that A
can be prepended (head-to-tail) to a HList L
without any duplicate names appearing in the result.
For lack of a better name, this provides the protocol by which a composite style can be used.