Added Rep rule for Product<'t> to further simplify dealing with product types.