On Wed, May 02, 2018 at 03:07:05PM +0200, Paolino wrote: > I'm trying to write a lens for a datatype which seems easy in the Twan van > Laarhoven encoding but I cannot find it as easy in the profunctorial one By the way ... which library are you using for profunctor lenses?