fst package:product-profunctors