add product'Con, the unary type constructor product