This is a product type, introduced by fty::defflexsum in support of identifier-identifier-map-result.