# coercible-subtypes-profunctors

This is an auxiliary package to use [Profunctor](https://hackage.haskell.org/package/profunctors) with [Sub](https://hackage.haskell.org/package/coercible-subtypes),
a type for witnessing one-way safe coercion between types.