lens-typelevel-0.1.1.0: Type-level lenses using singletons

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.