This is a product type, introduced by fty::defflexsum in support of vl-maybe-expr.
This is an atomic/empty structure; it has no fields.