@hackage coercible-subtypes-profunctor1

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".