diff --git a/proto-lens-descriptors.cabal b/proto-lens-descriptors.cabal
--- a/proto-lens-descriptors.cabal
+++ b/proto-lens-descriptors.cabal
@@ -1,5 +1,5 @@
 name:                proto-lens-descriptors
-version:             0.2.0.0
+version:             0.2.0.1
 synopsis:            Protocol buffers for describing the definitions of messages.
 description:
     This package provides definitions for the 'proto-lens' package
@@ -28,5 +28,5 @@
     , lens-labels == 0.1.*
     -- Specify an exact version of `proto-lens`, since it's tied closely
     -- to the generated code.
-    , proto-lens == 0.2.0.0
+    , proto-lens == 0.2.0.1
     , text == 1.2.*
diff --git a/src/Proto/Google/Protobuf/Compiler/Plugin.hs b/src/Proto/Google/Protobuf/Compiler/Plugin.hs
--- a/src/Proto/Google/Protobuf/Compiler/Plugin.hs
+++ b/src/Proto/Google/Protobuf/Compiler/Plugin.hs
@@ -256,68 +256,59 @@
                     ("content", content__field_descriptor)])
 
 content ::
-        forall x f s t a b .
-          (Prelude.Functor f, Lens.Labels.HasLens "content" f s t a b) =>
+        forall f s t a b . Lens.Labels.HasLens "content" f s t a b =>
           Lens.Family2.LensLike f s t a b
 content
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "content")
 
 error ::
-      forall x f s t a b .
-        (Prelude.Functor f, Lens.Labels.HasLens "error" f s t a b) =>
+      forall f s t a b . Lens.Labels.HasLens "error" f s t a b =>
         Lens.Family2.LensLike f s t a b
 error
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "error")
 
 file ::
-     forall x f s t a b .
-       (Prelude.Functor f, Lens.Labels.HasLens "file" f s t a b) =>
+     forall f s t a b . Lens.Labels.HasLens "file" f s t a b =>
        Lens.Family2.LensLike f s t a b
 file
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "file")
 
 fileToGenerate ::
-               forall x f s t a b .
-                 (Prelude.Functor f,
-                  Lens.Labels.HasLens "fileToGenerate" f s t a b) =>
+               forall f s t a b .
+                 Lens.Labels.HasLens "fileToGenerate" f s t a b =>
                  Lens.Family2.LensLike f s t a b
 fileToGenerate
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "fileToGenerate")
 
 insertionPoint ::
-               forall x f s t a b .
-                 (Prelude.Functor f,
-                  Lens.Labels.HasLens "insertionPoint" f s t a b) =>
+               forall f s t a b .
+                 Lens.Labels.HasLens "insertionPoint" f s t a b =>
                  Lens.Family2.LensLike f s t a b
 insertionPoint
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "insertionPoint")
 
 maybe'content ::
-              forall x f s t a b .
-                (Prelude.Functor f,
-                 Lens.Labels.HasLens "maybe'content" f s t a b) =>
+              forall f s t a b . Lens.Labels.HasLens "maybe'content" f s t a b =>
                 Lens.Family2.LensLike f s t a b
 maybe'content
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'content")
 
 maybe'error ::
-            forall x f s t a b .
-              (Prelude.Functor f, Lens.Labels.HasLens "maybe'error" f s t a b) =>
+            forall f s t a b . Lens.Labels.HasLens "maybe'error" f s t a b =>
               Lens.Family2.LensLike f s t a b
 maybe'error
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'error")
 
 maybe'insertionPoint ::
-                     forall x f s t a b .
-                       (Prelude.Functor f,
-                        Lens.Labels.HasLens "maybe'insertionPoint" f s t a b) =>
+                     forall f s t a b .
+                       Lens.Labels.HasLens "maybe'insertionPoint" f s t a b =>
                        Lens.Family2.LensLike f s t a b
 maybe'insertionPoint
   = Lens.Labels.lensOf
@@ -325,41 +316,36 @@
          (Lens.Labels.Proxy#) "maybe'insertionPoint")
 
 maybe'name ::
-           forall x f s t a b .
-             (Prelude.Functor f, Lens.Labels.HasLens "maybe'name" f s t a b) =>
+           forall f s t a b . Lens.Labels.HasLens "maybe'name" f s t a b =>
              Lens.Family2.LensLike f s t a b
 maybe'name
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'name")
 
 maybe'parameter ::
-                forall x f s t a b .
-                  (Prelude.Functor f,
-                   Lens.Labels.HasLens "maybe'parameter" f s t a b) =>
+                forall f s t a b .
+                  Lens.Labels.HasLens "maybe'parameter" f s t a b =>
                   Lens.Family2.LensLike f s t a b
 maybe'parameter
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'parameter")
 
 name ::
-     forall x f s t a b .
-       (Prelude.Functor f, Lens.Labels.HasLens "name" f s t a b) =>
+     forall f s t a b . Lens.Labels.HasLens "name" f s t a b =>
        Lens.Family2.LensLike f s t a b
 name
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "name")
 
 parameter ::
-          forall x f s t a b .
-            (Prelude.Functor f, Lens.Labels.HasLens "parameter" f s t a b) =>
+          forall f s t a b . Lens.Labels.HasLens "parameter" f s t a b =>
             Lens.Family2.LensLike f s t a b
 parameter
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "parameter")
 
 protoFile ::
-          forall x f s t a b .
-            (Prelude.Functor f, Lens.Labels.HasLens "protoFile" f s t a b) =>
+          forall f s t a b . Lens.Labels.HasLens "protoFile" f s t a b =>
             Lens.Family2.LensLike f s t a b
 protoFile
   = Lens.Labels.lensOf
diff --git a/src/Proto/Google/Protobuf/Descriptor.hs b/src/Proto/Google/Protobuf/Descriptor.hs
--- a/src/Proto/Google/Protobuf/Descriptor.hs
+++ b/src/Proto/Google/Protobuf/Descriptor.hs
@@ -3388,209 +3388,183 @@
                     ("is_extension", isExtension__field_descriptor)])
 
 aggregateValue ::
-               forall x f s t a b .
-                 (Prelude.Functor f,
-                  Lens.Labels.HasLens "aggregateValue" f s t a b) =>
+               forall f s t a b .
+                 Lens.Labels.HasLens "aggregateValue" f s t a b =>
                  Lens.Family2.LensLike f s t a b
 aggregateValue
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "aggregateValue")
 
 allowAlias ::
-           forall x f s t a b .
-             (Prelude.Functor f, Lens.Labels.HasLens "allowAlias" f s t a b) =>
+           forall f s t a b . Lens.Labels.HasLens "allowAlias" f s t a b =>
              Lens.Family2.LensLike f s t a b
 allowAlias
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "allowAlias")
 
 annotation ::
-           forall x f s t a b .
-             (Prelude.Functor f, Lens.Labels.HasLens "annotation" f s t a b) =>
+           forall f s t a b . Lens.Labels.HasLens "annotation" f s t a b =>
              Lens.Family2.LensLike f s t a b
 annotation
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "annotation")
 
 begin ::
-      forall x f s t a b .
-        (Prelude.Functor f, Lens.Labels.HasLens "begin" f s t a b) =>
+      forall f s t a b . Lens.Labels.HasLens "begin" f s t a b =>
         Lens.Family2.LensLike f s t a b
 begin
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "begin")
 
 ccEnableArenas ::
-               forall x f s t a b .
-                 (Prelude.Functor f,
-                  Lens.Labels.HasLens "ccEnableArenas" f s t a b) =>
+               forall f s t a b .
+                 Lens.Labels.HasLens "ccEnableArenas" f s t a b =>
                  Lens.Family2.LensLike f s t a b
 ccEnableArenas
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "ccEnableArenas")
 
 ccGenericServices ::
-                  forall x f s t a b .
-                    (Prelude.Functor f,
-                     Lens.Labels.HasLens "ccGenericServices" f s t a b) =>
+                  forall f s t a b .
+                    Lens.Labels.HasLens "ccGenericServices" f s t a b =>
                     Lens.Family2.LensLike f s t a b
 ccGenericServices
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "ccGenericServices")
 
 clientStreaming ::
-                forall x f s t a b .
-                  (Prelude.Functor f,
-                   Lens.Labels.HasLens "clientStreaming" f s t a b) =>
+                forall f s t a b .
+                  Lens.Labels.HasLens "clientStreaming" f s t a b =>
                   Lens.Family2.LensLike f s t a b
 clientStreaming
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "clientStreaming")
 
 csharpNamespace ::
-                forall x f s t a b .
-                  (Prelude.Functor f,
-                   Lens.Labels.HasLens "csharpNamespace" f s t a b) =>
+                forall f s t a b .
+                  Lens.Labels.HasLens "csharpNamespace" f s t a b =>
                   Lens.Family2.LensLike f s t a b
 csharpNamespace
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "csharpNamespace")
 
 ctype ::
-      forall x f s t a b .
-        (Prelude.Functor f, Lens.Labels.HasLens "ctype" f s t a b) =>
+      forall f s t a b . Lens.Labels.HasLens "ctype" f s t a b =>
         Lens.Family2.LensLike f s t a b
 ctype
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "ctype")
 
 defaultValue ::
-             forall x f s t a b .
-               (Prelude.Functor f,
-                Lens.Labels.HasLens "defaultValue" f s t a b) =>
+             forall f s t a b . Lens.Labels.HasLens "defaultValue" f s t a b =>
                Lens.Family2.LensLike f s t a b
 defaultValue
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "defaultValue")
 
 dependency ::
-           forall x f s t a b .
-             (Prelude.Functor f, Lens.Labels.HasLens "dependency" f s t a b) =>
+           forall f s t a b . Lens.Labels.HasLens "dependency" f s t a b =>
              Lens.Family2.LensLike f s t a b
 dependency
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "dependency")
 
 deprecated ::
-           forall x f s t a b .
-             (Prelude.Functor f, Lens.Labels.HasLens "deprecated" f s t a b) =>
+           forall f s t a b . Lens.Labels.HasLens "deprecated" f s t a b =>
              Lens.Family2.LensLike f s t a b
 deprecated
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "deprecated")
 
 doubleValue ::
-            forall x f s t a b .
-              (Prelude.Functor f, Lens.Labels.HasLens "doubleValue" f s t a b) =>
+            forall f s t a b . Lens.Labels.HasLens "doubleValue" f s t a b =>
               Lens.Family2.LensLike f s t a b
 doubleValue
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "doubleValue")
 
 end ::
-    forall x f s t a b .
-      (Prelude.Functor f, Lens.Labels.HasLens "end" f s t a b) =>
+    forall f s t a b . Lens.Labels.HasLens "end" f s t a b =>
       Lens.Family2.LensLike f s t a b
 end
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "end")
 
 enumType ::
-         forall x f s t a b .
-           (Prelude.Functor f, Lens.Labels.HasLens "enumType" f s t a b) =>
+         forall f s t a b . Lens.Labels.HasLens "enumType" f s t a b =>
            Lens.Family2.LensLike f s t a b
 enumType
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "enumType")
 
 extendee ::
-         forall x f s t a b .
-           (Prelude.Functor f, Lens.Labels.HasLens "extendee" f s t a b) =>
+         forall f s t a b . Lens.Labels.HasLens "extendee" f s t a b =>
            Lens.Family2.LensLike f s t a b
 extendee
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "extendee")
 
 extension ::
-          forall x f s t a b .
-            (Prelude.Functor f, Lens.Labels.HasLens "extension" f s t a b) =>
+          forall f s t a b . Lens.Labels.HasLens "extension" f s t a b =>
             Lens.Family2.LensLike f s t a b
 extension
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "extension")
 
 extensionRange ::
-               forall x f s t a b .
-                 (Prelude.Functor f,
-                  Lens.Labels.HasLens "extensionRange" f s t a b) =>
+               forall f s t a b .
+                 Lens.Labels.HasLens "extensionRange" f s t a b =>
                  Lens.Family2.LensLike f s t a b
 extensionRange
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "extensionRange")
 
 field ::
-      forall x f s t a b .
-        (Prelude.Functor f, Lens.Labels.HasLens "field" f s t a b) =>
+      forall f s t a b . Lens.Labels.HasLens "field" f s t a b =>
         Lens.Family2.LensLike f s t a b
 field
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "field")
 
 file ::
-     forall x f s t a b .
-       (Prelude.Functor f, Lens.Labels.HasLens "file" f s t a b) =>
+     forall f s t a b . Lens.Labels.HasLens "file" f s t a b =>
        Lens.Family2.LensLike f s t a b
 file
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "file")
 
 goPackage ::
-          forall x f s t a b .
-            (Prelude.Functor f, Lens.Labels.HasLens "goPackage" f s t a b) =>
+          forall f s t a b . Lens.Labels.HasLens "goPackage" f s t a b =>
             Lens.Family2.LensLike f s t a b
 goPackage
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "goPackage")
 
 identifierValue ::
-                forall x f s t a b .
-                  (Prelude.Functor f,
-                   Lens.Labels.HasLens "identifierValue" f s t a b) =>
+                forall f s t a b .
+                  Lens.Labels.HasLens "identifierValue" f s t a b =>
                   Lens.Family2.LensLike f s t a b
 identifierValue
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "identifierValue")
 
 inputType ::
-          forall x f s t a b .
-            (Prelude.Functor f, Lens.Labels.HasLens "inputType" f s t a b) =>
+          forall f s t a b . Lens.Labels.HasLens "inputType" f s t a b =>
             Lens.Family2.LensLike f s t a b
 inputType
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "inputType")
 
 isExtension ::
-            forall x f s t a b .
-              (Prelude.Functor f, Lens.Labels.HasLens "isExtension" f s t a b) =>
+            forall f s t a b . Lens.Labels.HasLens "isExtension" f s t a b =>
               Lens.Family2.LensLike f s t a b
 isExtension
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "isExtension")
 
 javaGenerateEqualsAndHash ::
-                          forall x f s t a b .
-                            (Prelude.Functor f,
-                             Lens.Labels.HasLens "javaGenerateEqualsAndHash" f s t a b) =>
+                          forall f s t a b .
+                            Lens.Labels.HasLens "javaGenerateEqualsAndHash" f s t a b =>
                             Lens.Family2.LensLike f s t a b
 javaGenerateEqualsAndHash
   = Lens.Labels.lensOf
@@ -3598,9 +3572,8 @@
          (Lens.Labels.Proxy#) "javaGenerateEqualsAndHash")
 
 javaGenericServices ::
-                    forall x f s t a b .
-                      (Prelude.Functor f,
-                       Lens.Labels.HasLens "javaGenericServices" f s t a b) =>
+                    forall f s t a b .
+                      Lens.Labels.HasLens "javaGenericServices" f s t a b =>
                       Lens.Family2.LensLike f s t a b
 javaGenericServices
   = Lens.Labels.lensOf
@@ -3608,35 +3581,31 @@
          (Lens.Labels.Proxy#) "javaGenericServices")
 
 javaMultipleFiles ::
-                  forall x f s t a b .
-                    (Prelude.Functor f,
-                     Lens.Labels.HasLens "javaMultipleFiles" f s t a b) =>
+                  forall f s t a b .
+                    Lens.Labels.HasLens "javaMultipleFiles" f s t a b =>
                     Lens.Family2.LensLike f s t a b
 javaMultipleFiles
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "javaMultipleFiles")
 
 javaOuterClassname ::
-                   forall x f s t a b .
-                     (Prelude.Functor f,
-                      Lens.Labels.HasLens "javaOuterClassname" f s t a b) =>
+                   forall f s t a b .
+                     Lens.Labels.HasLens "javaOuterClassname" f s t a b =>
                      Lens.Family2.LensLike f s t a b
 javaOuterClassname
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "javaOuterClassname")
 
 javaPackage ::
-            forall x f s t a b .
-              (Prelude.Functor f, Lens.Labels.HasLens "javaPackage" f s t a b) =>
+            forall f s t a b . Lens.Labels.HasLens "javaPackage" f s t a b =>
               Lens.Family2.LensLike f s t a b
 javaPackage
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "javaPackage")
 
 javaStringCheckUtf8 ::
-                    forall x f s t a b .
-                      (Prelude.Functor f,
-                       Lens.Labels.HasLens "javaStringCheckUtf8" f s t a b) =>
+                    forall f s t a b .
+                      Lens.Labels.HasLens "javaStringCheckUtf8" f s t a b =>
                       Lens.Family2.LensLike f s t a b
 javaStringCheckUtf8
   = Lens.Labels.lensOf
@@ -3644,50 +3613,44 @@
          (Lens.Labels.Proxy#) "javaStringCheckUtf8")
 
 jsonName ::
-         forall x f s t a b .
-           (Prelude.Functor f, Lens.Labels.HasLens "jsonName" f s t a b) =>
+         forall f s t a b . Lens.Labels.HasLens "jsonName" f s t a b =>
            Lens.Family2.LensLike f s t a b
 jsonName
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "jsonName")
 
 jstype ::
-       forall x f s t a b .
-         (Prelude.Functor f, Lens.Labels.HasLens "jstype" f s t a b) =>
+       forall f s t a b . Lens.Labels.HasLens "jstype" f s t a b =>
          Lens.Family2.LensLike f s t a b
 jstype
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "jstype")
 
 label ::
-      forall x f s t a b .
-        (Prelude.Functor f, Lens.Labels.HasLens "label" f s t a b) =>
+      forall f s t a b . Lens.Labels.HasLens "label" f s t a b =>
         Lens.Family2.LensLike f s t a b
 label
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "label")
 
 lazy ::
-     forall x f s t a b .
-       (Prelude.Functor f, Lens.Labels.HasLens "lazy" f s t a b) =>
+     forall f s t a b . Lens.Labels.HasLens "lazy" f s t a b =>
        Lens.Family2.LensLike f s t a b
 lazy
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "lazy")
 
 leadingComments ::
-                forall x f s t a b .
-                  (Prelude.Functor f,
-                   Lens.Labels.HasLens "leadingComments" f s t a b) =>
+                forall f s t a b .
+                  Lens.Labels.HasLens "leadingComments" f s t a b =>
                   Lens.Family2.LensLike f s t a b
 leadingComments
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "leadingComments")
 
 leadingDetachedComments ::
-                        forall x f s t a b .
-                          (Prelude.Functor f,
-                           Lens.Labels.HasLens "leadingDetachedComments" f s t a b) =>
+                        forall f s t a b .
+                          Lens.Labels.HasLens "leadingDetachedComments" f s t a b =>
                           Lens.Family2.LensLike f s t a b
 leadingDetachedComments
   = Lens.Labels.lensOf
@@ -3695,25 +3658,22 @@
          (Lens.Labels.Proxy#) "leadingDetachedComments")
 
 location ::
-         forall x f s t a b .
-           (Prelude.Functor f, Lens.Labels.HasLens "location" f s t a b) =>
+         forall f s t a b . Lens.Labels.HasLens "location" f s t a b =>
            Lens.Family2.LensLike f s t a b
 location
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "location")
 
 mapEntry ::
-         forall x f s t a b .
-           (Prelude.Functor f, Lens.Labels.HasLens "mapEntry" f s t a b) =>
+         forall f s t a b . Lens.Labels.HasLens "mapEntry" f s t a b =>
            Lens.Family2.LensLike f s t a b
 mapEntry
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "mapEntry")
 
 maybe'aggregateValue ::
-                     forall x f s t a b .
-                       (Prelude.Functor f,
-                        Lens.Labels.HasLens "maybe'aggregateValue" f s t a b) =>
+                     forall f s t a b .
+                       Lens.Labels.HasLens "maybe'aggregateValue" f s t a b =>
                        Lens.Family2.LensLike f s t a b
 maybe'aggregateValue
   = Lens.Labels.lensOf
@@ -3721,26 +3681,23 @@
          (Lens.Labels.Proxy#) "maybe'aggregateValue")
 
 maybe'allowAlias ::
-                 forall x f s t a b .
-                   (Prelude.Functor f,
-                    Lens.Labels.HasLens "maybe'allowAlias" f s t a b) =>
+                 forall f s t a b .
+                   Lens.Labels.HasLens "maybe'allowAlias" f s t a b =>
                    Lens.Family2.LensLike f s t a b
 maybe'allowAlias
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'allowAlias")
 
 maybe'begin ::
-            forall x f s t a b .
-              (Prelude.Functor f, Lens.Labels.HasLens "maybe'begin" f s t a b) =>
+            forall f s t a b . Lens.Labels.HasLens "maybe'begin" f s t a b =>
               Lens.Family2.LensLike f s t a b
 maybe'begin
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'begin")
 
 maybe'ccEnableArenas ::
-                     forall x f s t a b .
-                       (Prelude.Functor f,
-                        Lens.Labels.HasLens "maybe'ccEnableArenas" f s t a b) =>
+                     forall f s t a b .
+                       Lens.Labels.HasLens "maybe'ccEnableArenas" f s t a b =>
                        Lens.Family2.LensLike f s t a b
 maybe'ccEnableArenas
   = Lens.Labels.lensOf
@@ -3748,9 +3705,8 @@
          (Lens.Labels.Proxy#) "maybe'ccEnableArenas")
 
 maybe'ccGenericServices ::
-                        forall x f s t a b .
-                          (Prelude.Functor f,
-                           Lens.Labels.HasLens "maybe'ccGenericServices" f s t a b) =>
+                        forall f s t a b .
+                          Lens.Labels.HasLens "maybe'ccGenericServices" f s t a b =>
                           Lens.Family2.LensLike f s t a b
 maybe'ccGenericServices
   = Lens.Labels.lensOf
@@ -3758,9 +3714,8 @@
          (Lens.Labels.Proxy#) "maybe'ccGenericServices")
 
 maybe'clientStreaming ::
-                      forall x f s t a b .
-                        (Prelude.Functor f,
-                         Lens.Labels.HasLens "maybe'clientStreaming" f s t a b) =>
+                      forall f s t a b .
+                        Lens.Labels.HasLens "maybe'clientStreaming" f s t a b =>
                         Lens.Family2.LensLike f s t a b
 maybe'clientStreaming
   = Lens.Labels.lensOf
@@ -3768,9 +3723,8 @@
          (Lens.Labels.Proxy#) "maybe'clientStreaming")
 
 maybe'csharpNamespace ::
-                      forall x f s t a b .
-                        (Prelude.Functor f,
-                         Lens.Labels.HasLens "maybe'csharpNamespace" f s t a b) =>
+                      forall f s t a b .
+                        Lens.Labels.HasLens "maybe'csharpNamespace" f s t a b =>
                         Lens.Family2.LensLike f s t a b
 maybe'csharpNamespace
   = Lens.Labels.lensOf
@@ -3778,70 +3732,62 @@
          (Lens.Labels.Proxy#) "maybe'csharpNamespace")
 
 maybe'ctype ::
-            forall x f s t a b .
-              (Prelude.Functor f, Lens.Labels.HasLens "maybe'ctype" f s t a b) =>
+            forall f s t a b . Lens.Labels.HasLens "maybe'ctype" f s t a b =>
               Lens.Family2.LensLike f s t a b
 maybe'ctype
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'ctype")
 
 maybe'defaultValue ::
-                   forall x f s t a b .
-                     (Prelude.Functor f,
-                      Lens.Labels.HasLens "maybe'defaultValue" f s t a b) =>
+                   forall f s t a b .
+                     Lens.Labels.HasLens "maybe'defaultValue" f s t a b =>
                      Lens.Family2.LensLike f s t a b
 maybe'defaultValue
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'defaultValue")
 
 maybe'deprecated ::
-                 forall x f s t a b .
-                   (Prelude.Functor f,
-                    Lens.Labels.HasLens "maybe'deprecated" f s t a b) =>
+                 forall f s t a b .
+                   Lens.Labels.HasLens "maybe'deprecated" f s t a b =>
                    Lens.Family2.LensLike f s t a b
 maybe'deprecated
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'deprecated")
 
 maybe'doubleValue ::
-                  forall x f s t a b .
-                    (Prelude.Functor f,
-                     Lens.Labels.HasLens "maybe'doubleValue" f s t a b) =>
+                  forall f s t a b .
+                    Lens.Labels.HasLens "maybe'doubleValue" f s t a b =>
                     Lens.Family2.LensLike f s t a b
 maybe'doubleValue
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'doubleValue")
 
 maybe'end ::
-          forall x f s t a b .
-            (Prelude.Functor f, Lens.Labels.HasLens "maybe'end" f s t a b) =>
+          forall f s t a b . Lens.Labels.HasLens "maybe'end" f s t a b =>
             Lens.Family2.LensLike f s t a b
 maybe'end
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'end")
 
 maybe'extendee ::
-               forall x f s t a b .
-                 (Prelude.Functor f,
-                  Lens.Labels.HasLens "maybe'extendee" f s t a b) =>
+               forall f s t a b .
+                 Lens.Labels.HasLens "maybe'extendee" f s t a b =>
                  Lens.Family2.LensLike f s t a b
 maybe'extendee
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'extendee")
 
 maybe'goPackage ::
-                forall x f s t a b .
-                  (Prelude.Functor f,
-                   Lens.Labels.HasLens "maybe'goPackage" f s t a b) =>
+                forall f s t a b .
+                  Lens.Labels.HasLens "maybe'goPackage" f s t a b =>
                   Lens.Family2.LensLike f s t a b
 maybe'goPackage
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'goPackage")
 
 maybe'identifierValue ::
-                      forall x f s t a b .
-                        (Prelude.Functor f,
-                         Lens.Labels.HasLens "maybe'identifierValue" f s t a b) =>
+                      forall f s t a b .
+                        Lens.Labels.HasLens "maybe'identifierValue" f s t a b =>
                         Lens.Family2.LensLike f s t a b
 maybe'identifierValue
   = Lens.Labels.lensOf
@@ -3849,19 +3795,16 @@
          (Lens.Labels.Proxy#) "maybe'identifierValue")
 
 maybe'inputType ::
-                forall x f s t a b .
-                  (Prelude.Functor f,
-                   Lens.Labels.HasLens "maybe'inputType" f s t a b) =>
+                forall f s t a b .
+                  Lens.Labels.HasLens "maybe'inputType" f s t a b =>
                   Lens.Family2.LensLike f s t a b
 maybe'inputType
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'inputType")
 
 maybe'javaGenerateEqualsAndHash ::
-                                forall x f s t a b .
-                                  (Prelude.Functor f,
-                                   Lens.Labels.HasLens "maybe'javaGenerateEqualsAndHash" f s t a
-                                     b) =>
+                                forall f s t a b .
+                                  Lens.Labels.HasLens "maybe'javaGenerateEqualsAndHash" f s t a b =>
                                   Lens.Family2.LensLike f s t a b
 maybe'javaGenerateEqualsAndHash
   = Lens.Labels.lensOf
@@ -3869,9 +3812,8 @@
          (Lens.Labels.Proxy#) "maybe'javaGenerateEqualsAndHash")
 
 maybe'javaGenericServices ::
-                          forall x f s t a b .
-                            (Prelude.Functor f,
-                             Lens.Labels.HasLens "maybe'javaGenericServices" f s t a b) =>
+                          forall f s t a b .
+                            Lens.Labels.HasLens "maybe'javaGenericServices" f s t a b =>
                             Lens.Family2.LensLike f s t a b
 maybe'javaGenericServices
   = Lens.Labels.lensOf
@@ -3879,9 +3821,8 @@
          (Lens.Labels.Proxy#) "maybe'javaGenericServices")
 
 maybe'javaMultipleFiles ::
-                        forall x f s t a b .
-                          (Prelude.Functor f,
-                           Lens.Labels.HasLens "maybe'javaMultipleFiles" f s t a b) =>
+                        forall f s t a b .
+                          Lens.Labels.HasLens "maybe'javaMultipleFiles" f s t a b =>
                           Lens.Family2.LensLike f s t a b
 maybe'javaMultipleFiles
   = Lens.Labels.lensOf
@@ -3889,9 +3830,8 @@
          (Lens.Labels.Proxy#) "maybe'javaMultipleFiles")
 
 maybe'javaOuterClassname ::
-                         forall x f s t a b .
-                           (Prelude.Functor f,
-                            Lens.Labels.HasLens "maybe'javaOuterClassname" f s t a b) =>
+                         forall f s t a b .
+                           Lens.Labels.HasLens "maybe'javaOuterClassname" f s t a b =>
                            Lens.Family2.LensLike f s t a b
 maybe'javaOuterClassname
   = Lens.Labels.lensOf
@@ -3899,18 +3839,16 @@
          (Lens.Labels.Proxy#) "maybe'javaOuterClassname")
 
 maybe'javaPackage ::
-                  forall x f s t a b .
-                    (Prelude.Functor f,
-                     Lens.Labels.HasLens "maybe'javaPackage" f s t a b) =>
+                  forall f s t a b .
+                    Lens.Labels.HasLens "maybe'javaPackage" f s t a b =>
                     Lens.Family2.LensLike f s t a b
 maybe'javaPackage
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'javaPackage")
 
 maybe'javaStringCheckUtf8 ::
-                          forall x f s t a b .
-                            (Prelude.Functor f,
-                             Lens.Labels.HasLens "maybe'javaStringCheckUtf8" f s t a b) =>
+                          forall f s t a b .
+                            Lens.Labels.HasLens "maybe'javaStringCheckUtf8" f s t a b =>
                             Lens.Family2.LensLike f s t a b
 maybe'javaStringCheckUtf8
   = Lens.Labels.lensOf
@@ -3918,43 +3856,37 @@
          (Lens.Labels.Proxy#) "maybe'javaStringCheckUtf8")
 
 maybe'jsonName ::
-               forall x f s t a b .
-                 (Prelude.Functor f,
-                  Lens.Labels.HasLens "maybe'jsonName" f s t a b) =>
+               forall f s t a b .
+                 Lens.Labels.HasLens "maybe'jsonName" f s t a b =>
                  Lens.Family2.LensLike f s t a b
 maybe'jsonName
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'jsonName")
 
 maybe'jstype ::
-             forall x f s t a b .
-               (Prelude.Functor f,
-                Lens.Labels.HasLens "maybe'jstype" f s t a b) =>
+             forall f s t a b . Lens.Labels.HasLens "maybe'jstype" f s t a b =>
                Lens.Family2.LensLike f s t a b
 maybe'jstype
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'jstype")
 
 maybe'label ::
-            forall x f s t a b .
-              (Prelude.Functor f, Lens.Labels.HasLens "maybe'label" f s t a b) =>
+            forall f s t a b . Lens.Labels.HasLens "maybe'label" f s t a b =>
               Lens.Family2.LensLike f s t a b
 maybe'label
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'label")
 
 maybe'lazy ::
-           forall x f s t a b .
-             (Prelude.Functor f, Lens.Labels.HasLens "maybe'lazy" f s t a b) =>
+           forall f s t a b . Lens.Labels.HasLens "maybe'lazy" f s t a b =>
              Lens.Family2.LensLike f s t a b
 maybe'lazy
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'lazy")
 
 maybe'leadingComments ::
-                      forall x f s t a b .
-                        (Prelude.Functor f,
-                         Lens.Labels.HasLens "maybe'leadingComments" f s t a b) =>
+                      forall f s t a b .
+                        Lens.Labels.HasLens "maybe'leadingComments" f s t a b =>
                         Lens.Family2.LensLike f s t a b
 maybe'leadingComments
   = Lens.Labels.lensOf
@@ -3962,18 +3894,16 @@
          (Lens.Labels.Proxy#) "maybe'leadingComments")
 
 maybe'mapEntry ::
-               forall x f s t a b .
-                 (Prelude.Functor f,
-                  Lens.Labels.HasLens "maybe'mapEntry" f s t a b) =>
+               forall f s t a b .
+                 Lens.Labels.HasLens "maybe'mapEntry" f s t a b =>
                  Lens.Family2.LensLike f s t a b
 maybe'mapEntry
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'mapEntry")
 
 maybe'messageSetWireFormat ::
-                           forall x f s t a b .
-                             (Prelude.Functor f,
-                              Lens.Labels.HasLens "maybe'messageSetWireFormat" f s t a b) =>
+                           forall f s t a b .
+                             Lens.Labels.HasLens "maybe'messageSetWireFormat" f s t a b =>
                              Lens.Family2.LensLike f s t a b
 maybe'messageSetWireFormat
   = Lens.Labels.lensOf
@@ -3981,17 +3911,15 @@
          (Lens.Labels.Proxy#) "maybe'messageSetWireFormat")
 
 maybe'name ::
-           forall x f s t a b .
-             (Prelude.Functor f, Lens.Labels.HasLens "maybe'name" f s t a b) =>
+           forall f s t a b . Lens.Labels.HasLens "maybe'name" f s t a b =>
              Lens.Family2.LensLike f s t a b
 maybe'name
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'name")
 
 maybe'negativeIntValue ::
-                       forall x f s t a b .
-                         (Prelude.Functor f,
-                          Lens.Labels.HasLens "maybe'negativeIntValue" f s t a b) =>
+                       forall f s t a b .
+                         Lens.Labels.HasLens "maybe'negativeIntValue" f s t a b =>
                          Lens.Family2.LensLike f s t a b
 maybe'negativeIntValue
   = Lens.Labels.lensOf
@@ -3999,10 +3927,9 @@
          (Lens.Labels.Proxy#) "maybe'negativeIntValue")
 
 maybe'noStandardDescriptorAccessor ::
-                                   forall x f s t a b .
-                                     (Prelude.Functor f,
-                                      Lens.Labels.HasLens "maybe'noStandardDescriptorAccessor" f s t
-                                        a b) =>
+                                   forall f s t a b .
+                                     Lens.Labels.HasLens "maybe'noStandardDescriptorAccessor" f s t
+                                       a b =>
                                      Lens.Family2.LensLike f s t a b
 maybe'noStandardDescriptorAccessor
   = Lens.Labels.lensOf
@@ -4010,18 +3937,15 @@
          (Lens.Labels.Proxy#) "maybe'noStandardDescriptorAccessor")
 
 maybe'number ::
-             forall x f s t a b .
-               (Prelude.Functor f,
-                Lens.Labels.HasLens "maybe'number" f s t a b) =>
+             forall f s t a b . Lens.Labels.HasLens "maybe'number" f s t a b =>
                Lens.Family2.LensLike f s t a b
 maybe'number
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'number")
 
 maybe'objcClassPrefix ::
-                      forall x f s t a b .
-                        (Prelude.Functor f,
-                         Lens.Labels.HasLens "maybe'objcClassPrefix" f s t a b) =>
+                      forall f s t a b .
+                        Lens.Labels.HasLens "maybe'objcClassPrefix" f s t a b =>
                         Lens.Family2.LensLike f s t a b
 maybe'objcClassPrefix
   = Lens.Labels.lensOf
@@ -4029,63 +3953,53 @@
          (Lens.Labels.Proxy#) "maybe'objcClassPrefix")
 
 maybe'oneofIndex ::
-                 forall x f s t a b .
-                   (Prelude.Functor f,
-                    Lens.Labels.HasLens "maybe'oneofIndex" f s t a b) =>
+                 forall f s t a b .
+                   Lens.Labels.HasLens "maybe'oneofIndex" f s t a b =>
                    Lens.Family2.LensLike f s t a b
 maybe'oneofIndex
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'oneofIndex")
 
 maybe'optimizeFor ::
-                  forall x f s t a b .
-                    (Prelude.Functor f,
-                     Lens.Labels.HasLens "maybe'optimizeFor" f s t a b) =>
+                  forall f s t a b .
+                    Lens.Labels.HasLens "maybe'optimizeFor" f s t a b =>
                     Lens.Family2.LensLike f s t a b
 maybe'optimizeFor
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'optimizeFor")
 
 maybe'options ::
-              forall x f s t a b .
-                (Prelude.Functor f,
-                 Lens.Labels.HasLens "maybe'options" f s t a b) =>
+              forall f s t a b . Lens.Labels.HasLens "maybe'options" f s t a b =>
                 Lens.Family2.LensLike f s t a b
 maybe'options
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'options")
 
 maybe'outputType ::
-                 forall x f s t a b .
-                   (Prelude.Functor f,
-                    Lens.Labels.HasLens "maybe'outputType" f s t a b) =>
+                 forall f s t a b .
+                   Lens.Labels.HasLens "maybe'outputType" f s t a b =>
                    Lens.Family2.LensLike f s t a b
 maybe'outputType
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'outputType")
 
 maybe'package ::
-              forall x f s t a b .
-                (Prelude.Functor f,
-                 Lens.Labels.HasLens "maybe'package" f s t a b) =>
+              forall f s t a b . Lens.Labels.HasLens "maybe'package" f s t a b =>
                 Lens.Family2.LensLike f s t a b
 maybe'package
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'package")
 
 maybe'packed ::
-             forall x f s t a b .
-               (Prelude.Functor f,
-                Lens.Labels.HasLens "maybe'packed" f s t a b) =>
+             forall f s t a b . Lens.Labels.HasLens "maybe'packed" f s t a b =>
                Lens.Family2.LensLike f s t a b
 maybe'packed
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'packed")
 
 maybe'positiveIntValue ::
-                       forall x f s t a b .
-                         (Prelude.Functor f,
-                          Lens.Labels.HasLens "maybe'positiveIntValue" f s t a b) =>
+                       forall f s t a b .
+                         Lens.Labels.HasLens "maybe'positiveIntValue" f s t a b =>
                          Lens.Family2.LensLike f s t a b
 maybe'positiveIntValue
   = Lens.Labels.lensOf
@@ -4093,9 +4007,8 @@
          (Lens.Labels.Proxy#) "maybe'positiveIntValue")
 
 maybe'pyGenericServices ::
-                        forall x f s t a b .
-                          (Prelude.Functor f,
-                           Lens.Labels.HasLens "maybe'pyGenericServices" f s t a b) =>
+                        forall f s t a b .
+                          Lens.Labels.HasLens "maybe'pyGenericServices" f s t a b =>
                           Lens.Family2.LensLike f s t a b
 maybe'pyGenericServices
   = Lens.Labels.lensOf
@@ -4103,9 +4016,8 @@
          (Lens.Labels.Proxy#) "maybe'pyGenericServices")
 
 maybe'serverStreaming ::
-                      forall x f s t a b .
-                        (Prelude.Functor f,
-                         Lens.Labels.HasLens "maybe'serverStreaming" f s t a b) =>
+                      forall f s t a b .
+                        Lens.Labels.HasLens "maybe'serverStreaming" f s t a b =>
                         Lens.Family2.LensLike f s t a b
 maybe'serverStreaming
   = Lens.Labels.lensOf
@@ -4113,9 +4025,8 @@
          (Lens.Labels.Proxy#) "maybe'serverStreaming")
 
 maybe'sourceCodeInfo ::
-                     forall x f s t a b .
-                       (Prelude.Functor f,
-                        Lens.Labels.HasLens "maybe'sourceCodeInfo" f s t a b) =>
+                     forall f s t a b .
+                       Lens.Labels.HasLens "maybe'sourceCodeInfo" f s t a b =>
                        Lens.Family2.LensLike f s t a b
 maybe'sourceCodeInfo
   = Lens.Labels.lensOf
@@ -4123,44 +4034,38 @@
          (Lens.Labels.Proxy#) "maybe'sourceCodeInfo")
 
 maybe'sourceFile ::
-                 forall x f s t a b .
-                   (Prelude.Functor f,
-                    Lens.Labels.HasLens "maybe'sourceFile" f s t a b) =>
+                 forall f s t a b .
+                   Lens.Labels.HasLens "maybe'sourceFile" f s t a b =>
                    Lens.Family2.LensLike f s t a b
 maybe'sourceFile
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'sourceFile")
 
 maybe'start ::
-            forall x f s t a b .
-              (Prelude.Functor f, Lens.Labels.HasLens "maybe'start" f s t a b) =>
+            forall f s t a b . Lens.Labels.HasLens "maybe'start" f s t a b =>
               Lens.Family2.LensLike f s t a b
 maybe'start
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'start")
 
 maybe'stringValue ::
-                  forall x f s t a b .
-                    (Prelude.Functor f,
-                     Lens.Labels.HasLens "maybe'stringValue" f s t a b) =>
+                  forall f s t a b .
+                    Lens.Labels.HasLens "maybe'stringValue" f s t a b =>
                     Lens.Family2.LensLike f s t a b
 maybe'stringValue
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'stringValue")
 
 maybe'syntax ::
-             forall x f s t a b .
-               (Prelude.Functor f,
-                Lens.Labels.HasLens "maybe'syntax" f s t a b) =>
+             forall f s t a b . Lens.Labels.HasLens "maybe'syntax" f s t a b =>
                Lens.Family2.LensLike f s t a b
 maybe'syntax
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'syntax")
 
 maybe'trailingComments ::
-                       forall x f s t a b .
-                         (Prelude.Functor f,
-                          Lens.Labels.HasLens "maybe'trailingComments" f s t a b) =>
+                       forall f s t a b .
+                         Lens.Labels.HasLens "maybe'trailingComments" f s t a b =>
                          Lens.Family2.LensLike f s t a b
 maybe'trailingComments
   = Lens.Labels.lensOf
@@ -4168,34 +4073,30 @@
          (Lens.Labels.Proxy#) "maybe'trailingComments")
 
 maybe'type' ::
-            forall x f s t a b .
-              (Prelude.Functor f, Lens.Labels.HasLens "maybe'type'" f s t a b) =>
+            forall f s t a b . Lens.Labels.HasLens "maybe'type'" f s t a b =>
               Lens.Family2.LensLike f s t a b
 maybe'type'
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'type'")
 
 maybe'typeName ::
-               forall x f s t a b .
-                 (Prelude.Functor f,
-                  Lens.Labels.HasLens "maybe'typeName" f s t a b) =>
+               forall f s t a b .
+                 Lens.Labels.HasLens "maybe'typeName" f s t a b =>
                  Lens.Family2.LensLike f s t a b
 maybe'typeName
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'typeName")
 
 maybe'weak ::
-           forall x f s t a b .
-             (Prelude.Functor f, Lens.Labels.HasLens "maybe'weak" f s t a b) =>
+           forall f s t a b . Lens.Labels.HasLens "maybe'weak" f s t a b =>
              Lens.Family2.LensLike f s t a b
 maybe'weak
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'weak")
 
 messageSetWireFormat ::
-                     forall x f s t a b .
-                       (Prelude.Functor f,
-                        Lens.Labels.HasLens "messageSetWireFormat" f s t a b) =>
+                     forall f s t a b .
+                       Lens.Labels.HasLens "messageSetWireFormat" f s t a b =>
                        Lens.Family2.LensLike f s t a b
 messageSetWireFormat
   = Lens.Labels.lensOf
@@ -4203,58 +4104,51 @@
          (Lens.Labels.Proxy#) "messageSetWireFormat")
 
 messageType ::
-            forall x f s t a b .
-              (Prelude.Functor f, Lens.Labels.HasLens "messageType" f s t a b) =>
+            forall f s t a b . Lens.Labels.HasLens "messageType" f s t a b =>
               Lens.Family2.LensLike f s t a b
 messageType
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "messageType")
 
 method ::
-       forall x f s t a b .
-         (Prelude.Functor f, Lens.Labels.HasLens "method" f s t a b) =>
+       forall f s t a b . Lens.Labels.HasLens "method" f s t a b =>
          Lens.Family2.LensLike f s t a b
 method
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "method")
 
 name ::
-     forall x f s t a b .
-       (Prelude.Functor f, Lens.Labels.HasLens "name" f s t a b) =>
+     forall f s t a b . Lens.Labels.HasLens "name" f s t a b =>
        Lens.Family2.LensLike f s t a b
 name
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "name")
 
 namePart ::
-         forall x f s t a b .
-           (Prelude.Functor f, Lens.Labels.HasLens "namePart" f s t a b) =>
+         forall f s t a b . Lens.Labels.HasLens "namePart" f s t a b =>
            Lens.Family2.LensLike f s t a b
 namePart
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "namePart")
 
 negativeIntValue ::
-                 forall x f s t a b .
-                   (Prelude.Functor f,
-                    Lens.Labels.HasLens "negativeIntValue" f s t a b) =>
+                 forall f s t a b .
+                   Lens.Labels.HasLens "negativeIntValue" f s t a b =>
                    Lens.Family2.LensLike f s t a b
 negativeIntValue
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "negativeIntValue")
 
 nestedType ::
-           forall x f s t a b .
-             (Prelude.Functor f, Lens.Labels.HasLens "nestedType" f s t a b) =>
+           forall f s t a b . Lens.Labels.HasLens "nestedType" f s t a b =>
              Lens.Family2.LensLike f s t a b
 nestedType
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "nestedType")
 
 noStandardDescriptorAccessor ::
-                             forall x f s t a b .
-                               (Prelude.Functor f,
-                                Lens.Labels.HasLens "noStandardDescriptorAccessor" f s t a b) =>
+                             forall f s t a b .
+                               Lens.Labels.HasLens "noStandardDescriptorAccessor" f s t a b =>
                                Lens.Family2.LensLike f s t a b
 noStandardDescriptorAccessor
   = Lens.Labels.lensOf
@@ -4262,226 +4156,197 @@
          (Lens.Labels.Proxy#) "noStandardDescriptorAccessor")
 
 number ::
-       forall x f s t a b .
-         (Prelude.Functor f, Lens.Labels.HasLens "number" f s t a b) =>
+       forall f s t a b . Lens.Labels.HasLens "number" f s t a b =>
          Lens.Family2.LensLike f s t a b
 number
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "number")
 
 objcClassPrefix ::
-                forall x f s t a b .
-                  (Prelude.Functor f,
-                   Lens.Labels.HasLens "objcClassPrefix" f s t a b) =>
+                forall f s t a b .
+                  Lens.Labels.HasLens "objcClassPrefix" f s t a b =>
                   Lens.Family2.LensLike f s t a b
 objcClassPrefix
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "objcClassPrefix")
 
 oneofDecl ::
-          forall x f s t a b .
-            (Prelude.Functor f, Lens.Labels.HasLens "oneofDecl" f s t a b) =>
+          forall f s t a b . Lens.Labels.HasLens "oneofDecl" f s t a b =>
             Lens.Family2.LensLike f s t a b
 oneofDecl
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "oneofDecl")
 
 oneofIndex ::
-           forall x f s t a b .
-             (Prelude.Functor f, Lens.Labels.HasLens "oneofIndex" f s t a b) =>
+           forall f s t a b . Lens.Labels.HasLens "oneofIndex" f s t a b =>
              Lens.Family2.LensLike f s t a b
 oneofIndex
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "oneofIndex")
 
 optimizeFor ::
-            forall x f s t a b .
-              (Prelude.Functor f, Lens.Labels.HasLens "optimizeFor" f s t a b) =>
+            forall f s t a b . Lens.Labels.HasLens "optimizeFor" f s t a b =>
               Lens.Family2.LensLike f s t a b
 optimizeFor
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "optimizeFor")
 
 options ::
-        forall x f s t a b .
-          (Prelude.Functor f, Lens.Labels.HasLens "options" f s t a b) =>
+        forall f s t a b . Lens.Labels.HasLens "options" f s t a b =>
           Lens.Family2.LensLike f s t a b
 options
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "options")
 
 outputType ::
-           forall x f s t a b .
-             (Prelude.Functor f, Lens.Labels.HasLens "outputType" f s t a b) =>
+           forall f s t a b . Lens.Labels.HasLens "outputType" f s t a b =>
              Lens.Family2.LensLike f s t a b
 outputType
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "outputType")
 
 package ::
-        forall x f s t a b .
-          (Prelude.Functor f, Lens.Labels.HasLens "package" f s t a b) =>
+        forall f s t a b . Lens.Labels.HasLens "package" f s t a b =>
           Lens.Family2.LensLike f s t a b
 package
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "package")
 
 packed ::
-       forall x f s t a b .
-         (Prelude.Functor f, Lens.Labels.HasLens "packed" f s t a b) =>
+       forall f s t a b . Lens.Labels.HasLens "packed" f s t a b =>
          Lens.Family2.LensLike f s t a b
 packed
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "packed")
 
 path ::
-     forall x f s t a b .
-       (Prelude.Functor f, Lens.Labels.HasLens "path" f s t a b) =>
+     forall f s t a b . Lens.Labels.HasLens "path" f s t a b =>
        Lens.Family2.LensLike f s t a b
 path
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "path")
 
 positiveIntValue ::
-                 forall x f s t a b .
-                   (Prelude.Functor f,
-                    Lens.Labels.HasLens "positiveIntValue" f s t a b) =>
+                 forall f s t a b .
+                   Lens.Labels.HasLens "positiveIntValue" f s t a b =>
                    Lens.Family2.LensLike f s t a b
 positiveIntValue
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "positiveIntValue")
 
 publicDependency ::
-                 forall x f s t a b .
-                   (Prelude.Functor f,
-                    Lens.Labels.HasLens "publicDependency" f s t a b) =>
+                 forall f s t a b .
+                   Lens.Labels.HasLens "publicDependency" f s t a b =>
                    Lens.Family2.LensLike f s t a b
 publicDependency
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "publicDependency")
 
 pyGenericServices ::
-                  forall x f s t a b .
-                    (Prelude.Functor f,
-                     Lens.Labels.HasLens "pyGenericServices" f s t a b) =>
+                  forall f s t a b .
+                    Lens.Labels.HasLens "pyGenericServices" f s t a b =>
                     Lens.Family2.LensLike f s t a b
 pyGenericServices
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "pyGenericServices")
 
 reservedName ::
-             forall x f s t a b .
-               (Prelude.Functor f,
-                Lens.Labels.HasLens "reservedName" f s t a b) =>
+             forall f s t a b . Lens.Labels.HasLens "reservedName" f s t a b =>
                Lens.Family2.LensLike f s t a b
 reservedName
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "reservedName")
 
 reservedRange ::
-              forall x f s t a b .
-                (Prelude.Functor f,
-                 Lens.Labels.HasLens "reservedRange" f s t a b) =>
+              forall f s t a b . Lens.Labels.HasLens "reservedRange" f s t a b =>
                 Lens.Family2.LensLike f s t a b
 reservedRange
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "reservedRange")
 
 serverStreaming ::
-                forall x f s t a b .
-                  (Prelude.Functor f,
-                   Lens.Labels.HasLens "serverStreaming" f s t a b) =>
+                forall f s t a b .
+                  Lens.Labels.HasLens "serverStreaming" f s t a b =>
                   Lens.Family2.LensLike f s t a b
 serverStreaming
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "serverStreaming")
 
 service ::
-        forall x f s t a b .
-          (Prelude.Functor f, Lens.Labels.HasLens "service" f s t a b) =>
+        forall f s t a b . Lens.Labels.HasLens "service" f s t a b =>
           Lens.Family2.LensLike f s t a b
 service
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "service")
 
 sourceCodeInfo ::
-               forall x f s t a b .
-                 (Prelude.Functor f,
-                  Lens.Labels.HasLens "sourceCodeInfo" f s t a b) =>
+               forall f s t a b .
+                 Lens.Labels.HasLens "sourceCodeInfo" f s t a b =>
                  Lens.Family2.LensLike f s t a b
 sourceCodeInfo
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "sourceCodeInfo")
 
 sourceFile ::
-           forall x f s t a b .
-             (Prelude.Functor f, Lens.Labels.HasLens "sourceFile" f s t a b) =>
+           forall f s t a b . Lens.Labels.HasLens "sourceFile" f s t a b =>
              Lens.Family2.LensLike f s t a b
 sourceFile
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "sourceFile")
 
 span ::
-     forall x f s t a b .
-       (Prelude.Functor f, Lens.Labels.HasLens "span" f s t a b) =>
+     forall f s t a b . Lens.Labels.HasLens "span" f s t a b =>
        Lens.Family2.LensLike f s t a b
 span
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "span")
 
 start ::
-      forall x f s t a b .
-        (Prelude.Functor f, Lens.Labels.HasLens "start" f s t a b) =>
+      forall f s t a b . Lens.Labels.HasLens "start" f s t a b =>
         Lens.Family2.LensLike f s t a b
 start
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "start")
 
 stringValue ::
-            forall x f s t a b .
-              (Prelude.Functor f, Lens.Labels.HasLens "stringValue" f s t a b) =>
+            forall f s t a b . Lens.Labels.HasLens "stringValue" f s t a b =>
               Lens.Family2.LensLike f s t a b
 stringValue
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "stringValue")
 
 syntax ::
-       forall x f s t a b .
-         (Prelude.Functor f, Lens.Labels.HasLens "syntax" f s t a b) =>
+       forall f s t a b . Lens.Labels.HasLens "syntax" f s t a b =>
          Lens.Family2.LensLike f s t a b
 syntax
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "syntax")
 
 trailingComments ::
-                 forall x f s t a b .
-                   (Prelude.Functor f,
-                    Lens.Labels.HasLens "trailingComments" f s t a b) =>
+                 forall f s t a b .
+                   Lens.Labels.HasLens "trailingComments" f s t a b =>
                    Lens.Family2.LensLike f s t a b
 trailingComments
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "trailingComments")
 
 type' ::
-      forall x f s t a b .
-        (Prelude.Functor f, Lens.Labels.HasLens "type'" f s t a b) =>
+      forall f s t a b . Lens.Labels.HasLens "type'" f s t a b =>
         Lens.Family2.LensLike f s t a b
 type'
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "type'")
 
 typeName ::
-         forall x f s t a b .
-           (Prelude.Functor f, Lens.Labels.HasLens "typeName" f s t a b) =>
+         forall f s t a b . Lens.Labels.HasLens "typeName" f s t a b =>
            Lens.Family2.LensLike f s t a b
 typeName
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "typeName")
 
 uninterpretedOption ::
-                    forall x f s t a b .
-                      (Prelude.Functor f,
-                       Lens.Labels.HasLens "uninterpretedOption" f s t a b) =>
+                    forall f s t a b .
+                      Lens.Labels.HasLens "uninterpretedOption" f s t a b =>
                       Lens.Family2.LensLike f s t a b
 uninterpretedOption
   = Lens.Labels.lensOf
@@ -4489,25 +4354,22 @@
          (Lens.Labels.Proxy#) "uninterpretedOption")
 
 value ::
-      forall x f s t a b .
-        (Prelude.Functor f, Lens.Labels.HasLens "value" f s t a b) =>
+      forall f s t a b . Lens.Labels.HasLens "value" f s t a b =>
         Lens.Family2.LensLike f s t a b
 value
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "value")
 
 weak ::
-     forall x f s t a b .
-       (Prelude.Functor f, Lens.Labels.HasLens "weak" f s t a b) =>
+     forall f s t a b . Lens.Labels.HasLens "weak" f s t a b =>
        Lens.Family2.LensLike f s t a b
 weak
   = Lens.Labels.lensOf
       ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "weak")
 
 weakDependency ::
-               forall x f s t a b .
-                 (Prelude.Functor f,
-                  Lens.Labels.HasLens "weakDependency" f s t a b) =>
+               forall f s t a b .
+                 Lens.Labels.HasLens "weakDependency" f s t a b =>
                  Lens.Family2.LensLike f s t a b
 weakDependency
   = Lens.Labels.lensOf