This is a product type, introduced by fty::deftagsum in support of partys/declor/ambig.
This is an atomic/empty structure; it has no fields.