General product duplication functionality. This object is a function
that returns a product that applies the same constructor as the
product t, but with the given children instead of t's children.
The function fails if a constructor cannot be found, there are the
wrong number of new children, or if one of the new children is not
of the appropriate type.
General product duplication functionality. This object is a function that returns a product that applies the same constructor as the product
t
, but with the given children instead oft
's children. The function fails if a constructor cannot be found, there are the wrong number of new children, or if one of the new children is not of the appropriate type.