This is a product type, introduced by fty::deftagsum in support of value.
The following invariant is enforced on the fields:
(consp members)