This is a product type, introduced by deftagsum in support of neteval-ordering-or-null.
This is an atomic/empty structure; it has no fields.