zipper package:product-profunctors