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