Data.Invertible.Profunctor

class IsoProfunctor p