Data.Generics.Product.Internal.Typed
type Context a s = (Generic s, ErrorUnlessOne a s (CollectTotalType a (Rep s)), Defined (Rep s) (NoGeneric s '['Text "arising from a generic lens focusing on a field of type " ':<>: QuoteType a]) (), GLens (HasTotalTypePSym a) (Rep s) (Rep s) a a) #
derived :: Context a s => Lens s s a a #