do not expose input sets in Set.Product, just their signature