Adding profunctors using dimap.