proto-lens-descriptors 0.2.0.0 → 0.2.0.1

raw patch · 3 files changed

+211/−363 lines, 3 filesdep ~proto-lensPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: proto-lens

API changes (from Hackage documentation)

Files

• proto-lens-descriptors.cabal +2/−2
• src/Proto/Google/Protobuf/Compiler/Plugin.hs +17/−31
• src/Proto/Google/Protobuf/Descriptor.hs +192/−330

@@ -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.*

@@ -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

@@ -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