Removed an unnecessary Profunctor constraint to appease @shachaf.