product(_:_:)