snd package:product-profunctors