added monoids for the category of profunctors