product-profunctors-0.5: product-profunctors