@hackage / vitrea

Profunctor optics via the profunctor representation theorem.