pub fn profunctor_ty() -> Expr
Profunctor : Type → Type → Type
A profunctor P : Type^op × Type → Type with dimap.