:: (a, b) package:product-profunctors