Re: product functor, abstractly