Added the second profunctor to Pretext/Bazaar/PretextT/BazaarT