Combine profunctors with coercible-subtypes.

Provides the means of mapping Sub a b type over Profunctor p. The former comes from "coercible-subtypes" package and the latter is from "profunctors".

coercible-subtypes-profunctors

This is an auxiliary package to use Profunctor with Sub, a type for witnessing one-way safe coercion between types.