lens-typelevel (hackage): Type-level lenses using singletons and its defunctionalization system, implemented using the same van Laarhoven encoding as the lens package. See README for more information.
Keywords: bsd3|dependent-types|lenses|library