Library HoTT.Categories.Profunctor.Notations

Notations for profunctors

Require Profunctor.Core.
Require Profunctor.Identity.

Include Profunctor.Core.ProfunctorCoreNotations.
Include Profunctor.Identity.ProfunctorIdentityNotations.