Product package:bifunctors

The product of two bifunctors.
Form the product of two bifunctors