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