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