types/Prod: products are symmetric