:: a -> a package:product-profunctors