Added Products for Bifunctors.