diff --git a/gen/Proto/Etcd/Etcdserver/Api/V3election/V3electionpb/V3election.hs b/gen/Proto/Etcd/Etcdserver/Api/V3election/V3electionpb/V3election.hs
new file mode 100644
--- /dev/null
+++ b/gen/Proto/Etcd/Etcdserver/Api/V3election/V3electionpb/V3election.hs
@@ -0,0 +1,742 @@
+{- This file was auto-generated from etcd/etcdserver/api/v3election/v3electionpb/v3election.proto by the proto-lens-protoc program. -}
+{-# LANGUAGE ScopedTypeVariables, DataKinds, TypeFamilies,
+  UndecidableInstances, GeneralizedNewtypeDeriving,
+  MultiParamTypeClasses, FlexibleContexts, FlexibleInstances,
+  PatternSynonyms, MagicHash, NoImplicitPrelude, DataKinds #-}
+{-# OPTIONS_GHC -fno-warn-unused-imports#-}
+{-# OPTIONS_GHC -fno-warn-duplicate-exports#-}
+module Proto.Etcd.Etcdserver.Api.V3election.V3electionpb.V3election
+       (Election(..), CampaignRequest(..), CampaignResponse(..),
+        LeaderKey(..), LeaderRequest(..), LeaderResponse(..),
+        ProclaimRequest(..), ProclaimResponse(..), ResignRequest(..),
+        ResignResponse(..))
+       where
+import qualified Data.ProtoLens.Reexport.Lens.Labels.Prism
+       as Lens.Labels.Prism
+import qualified Data.ProtoLens.Reexport.Prelude as Prelude
+import qualified Data.ProtoLens.Reexport.Data.Int as Data.Int
+import qualified Data.ProtoLens.Reexport.Data.Word as Data.Word
+import qualified Data.ProtoLens.Reexport.Data.ProtoLens
+       as Data.ProtoLens
+import qualified
+       Data.ProtoLens.Reexport.Data.ProtoLens.Message.Enum
+       as Data.ProtoLens.Message.Enum
+import qualified
+       Data.ProtoLens.Reexport.Data.ProtoLens.Service.Types
+       as Data.ProtoLens.Service.Types
+import qualified Data.ProtoLens.Reexport.Lens.Family2
+       as Lens.Family2
+import qualified Data.ProtoLens.Reexport.Lens.Family2.Unchecked
+       as Lens.Family2.Unchecked
+import qualified Data.ProtoLens.Reexport.Data.Default.Class
+       as Data.Default.Class
+import qualified Data.ProtoLens.Reexport.Data.Text as Data.Text
+import qualified Data.ProtoLens.Reexport.Data.Map as Data.Map
+import qualified Data.ProtoLens.Reexport.Data.ByteString
+       as Data.ByteString
+import qualified Data.ProtoLens.Reexport.Data.ByteString.Char8
+       as Data.ByteString.Char8
+import qualified Data.ProtoLens.Reexport.Lens.Labels as Lens.Labels
+import qualified Data.ProtoLens.Reexport.Text.Read as Text.Read
+import qualified Proto.Etcd.Etcdserver.Etcdserverpb.Rpc
+import qualified Proto.Etcd.Mvcc.Mvccpb.Kv
+import qualified Proto.Gogoproto.Gogo
+import qualified Proto.Google.Api.Annotations
+
+{- | Fields :
+
+    * 'Proto.Etcd.Etcdserver.Api.V3election.V3electionpb.V3election_Fields.name' @:: Lens' CampaignRequest Data.ByteString.ByteString@
+    * 'Proto.Etcd.Etcdserver.Api.V3election.V3electionpb.V3election_Fields.lease' @:: Lens' CampaignRequest Data.Int.Int64@
+    * 'Proto.Etcd.Etcdserver.Api.V3election.V3electionpb.V3election_Fields.value' @:: Lens' CampaignRequest Data.ByteString.ByteString@
+ -}
+data CampaignRequest = CampaignRequest{_CampaignRequest'name ::
+                                       !Data.ByteString.ByteString,
+                                       _CampaignRequest'lease :: !Data.Int.Int64,
+                                       _CampaignRequest'value :: !Data.ByteString.ByteString,
+                                       _CampaignRequest'_unknownFields :: !Data.ProtoLens.FieldSet}
+                         deriving (Prelude.Show, Prelude.Eq, Prelude.Ord)
+instance (Lens.Labels.HasLens' f CampaignRequest x a, a ~ b) =>
+         Lens.Labels.HasLens f CampaignRequest CampaignRequest x a b
+         where
+        lensOf = Lens.Labels.lensOf'
+instance Prelude.Functor f =>
+         Lens.Labels.HasLens' f CampaignRequest "name"
+           (Data.ByteString.ByteString)
+         where
+        lensOf' _
+          = (Prelude..)
+              (Lens.Family2.Unchecked.lens _CampaignRequest'name
+                 (\ x__ y__ -> x__{_CampaignRequest'name = y__}))
+              Prelude.id
+instance Prelude.Functor f =>
+         Lens.Labels.HasLens' f CampaignRequest "lease" (Data.Int.Int64)
+         where
+        lensOf' _
+          = (Prelude..)
+              (Lens.Family2.Unchecked.lens _CampaignRequest'lease
+                 (\ x__ y__ -> x__{_CampaignRequest'lease = y__}))
+              Prelude.id
+instance Prelude.Functor f =>
+         Lens.Labels.HasLens' f CampaignRequest "value"
+           (Data.ByteString.ByteString)
+         where
+        lensOf' _
+          = (Prelude..)
+              (Lens.Family2.Unchecked.lens _CampaignRequest'value
+                 (\ x__ y__ -> x__{_CampaignRequest'value = y__}))
+              Prelude.id
+instance Data.Default.Class.Default CampaignRequest where
+        def
+          = CampaignRequest{_CampaignRequest'name =
+                              Data.ProtoLens.fieldDefault,
+                            _CampaignRequest'lease = Data.ProtoLens.fieldDefault,
+                            _CampaignRequest'value = Data.ProtoLens.fieldDefault,
+                            _CampaignRequest'_unknownFields = ([])}
+instance Data.ProtoLens.Message CampaignRequest where
+        messageName _ = Data.Text.pack "v3electionpb.CampaignRequest"
+        fieldsByTag
+          = let name__field_descriptor
+                  = Data.ProtoLens.FieldDescriptor "name"
+                      (Data.ProtoLens.ScalarField Data.ProtoLens.BytesField ::
+                         Data.ProtoLens.FieldTypeDescriptor Data.ByteString.ByteString)
+                      (Data.ProtoLens.PlainField Data.ProtoLens.Optional
+                         (Lens.Labels.lensOf
+                            ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "name")))
+                      :: Data.ProtoLens.FieldDescriptor CampaignRequest
+                lease__field_descriptor
+                  = Data.ProtoLens.FieldDescriptor "lease"
+                      (Data.ProtoLens.ScalarField Data.ProtoLens.Int64Field ::
+                         Data.ProtoLens.FieldTypeDescriptor Data.Int.Int64)
+                      (Data.ProtoLens.PlainField Data.ProtoLens.Optional
+                         (Lens.Labels.lensOf
+                            ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "lease")))
+                      :: Data.ProtoLens.FieldDescriptor CampaignRequest
+                value__field_descriptor
+                  = Data.ProtoLens.FieldDescriptor "value"
+                      (Data.ProtoLens.ScalarField Data.ProtoLens.BytesField ::
+                         Data.ProtoLens.FieldTypeDescriptor Data.ByteString.ByteString)
+                      (Data.ProtoLens.PlainField Data.ProtoLens.Optional
+                         (Lens.Labels.lensOf
+                            ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "value")))
+                      :: Data.ProtoLens.FieldDescriptor CampaignRequest
+              in
+              Data.Map.fromList
+                [(Data.ProtoLens.Tag 1, name__field_descriptor),
+                 (Data.ProtoLens.Tag 2, lease__field_descriptor),
+                 (Data.ProtoLens.Tag 3, value__field_descriptor)]
+        unknownFields
+          = Lens.Family2.Unchecked.lens _CampaignRequest'_unknownFields
+              (\ x__ y__ -> x__{_CampaignRequest'_unknownFields = y__})
+{- | Fields :
+
+    * 'Proto.Etcd.Etcdserver.Api.V3election.V3electionpb.V3election_Fields.header' @:: Lens' CampaignResponse
+  Proto.Etcd.Etcdserver.Etcdserverpb.Rpc.ResponseHeader@
+    * 'Proto.Etcd.Etcdserver.Api.V3election.V3electionpb.V3election_Fields.maybe'header' @:: Lens' CampaignResponse
+  (Prelude.Maybe
+     Proto.Etcd.Etcdserver.Etcdserverpb.Rpc.ResponseHeader)@
+    * 'Proto.Etcd.Etcdserver.Api.V3election.V3electionpb.V3election_Fields.leader' @:: Lens' CampaignResponse LeaderKey@
+    * 'Proto.Etcd.Etcdserver.Api.V3election.V3electionpb.V3election_Fields.maybe'leader' @:: Lens' CampaignResponse (Prelude.Maybe LeaderKey)@
+ -}
+data CampaignResponse = CampaignResponse{_CampaignResponse'header
+                                         ::
+                                         !(Prelude.Maybe
+                                             Proto.Etcd.Etcdserver.Etcdserverpb.Rpc.ResponseHeader),
+                                         _CampaignResponse'leader :: !(Prelude.Maybe LeaderKey),
+                                         _CampaignResponse'_unknownFields ::
+                                         !Data.ProtoLens.FieldSet}
+                          deriving (Prelude.Show, Prelude.Eq, Prelude.Ord)
+instance (Lens.Labels.HasLens' f CampaignResponse x a, a ~ b) =>
+         Lens.Labels.HasLens f CampaignResponse CampaignResponse x a b
+         where
+        lensOf = Lens.Labels.lensOf'
+instance Prelude.Functor f =>
+         Lens.Labels.HasLens' f CampaignResponse "header"
+           (Proto.Etcd.Etcdserver.Etcdserverpb.Rpc.ResponseHeader)
+         where
+        lensOf' _
+          = (Prelude..)
+              (Lens.Family2.Unchecked.lens _CampaignResponse'header
+                 (\ x__ y__ -> x__{_CampaignResponse'header = y__}))
+              (Data.ProtoLens.maybeLens Data.Default.Class.def)
+instance Prelude.Functor f =>
+         Lens.Labels.HasLens' f CampaignResponse "maybe'header"
+           (Prelude.Maybe
+              Proto.Etcd.Etcdserver.Etcdserverpb.Rpc.ResponseHeader)
+         where
+        lensOf' _
+          = (Prelude..)
+              (Lens.Family2.Unchecked.lens _CampaignResponse'header
+                 (\ x__ y__ -> x__{_CampaignResponse'header = y__}))
+              Prelude.id
+instance Prelude.Functor f =>
+         Lens.Labels.HasLens' f CampaignResponse "leader" (LeaderKey)
+         where
+        lensOf' _
+          = (Prelude..)
+              (Lens.Family2.Unchecked.lens _CampaignResponse'leader
+                 (\ x__ y__ -> x__{_CampaignResponse'leader = y__}))
+              (Data.ProtoLens.maybeLens Data.Default.Class.def)
+instance Prelude.Functor f =>
+         Lens.Labels.HasLens' f CampaignResponse "maybe'leader"
+           (Prelude.Maybe LeaderKey)
+         where
+        lensOf' _
+          = (Prelude..)
+              (Lens.Family2.Unchecked.lens _CampaignResponse'leader
+                 (\ x__ y__ -> x__{_CampaignResponse'leader = y__}))
+              Prelude.id
+instance Data.Default.Class.Default CampaignResponse where
+        def
+          = CampaignResponse{_CampaignResponse'header = Prelude.Nothing,
+                             _CampaignResponse'leader = Prelude.Nothing,
+                             _CampaignResponse'_unknownFields = ([])}
+instance Data.ProtoLens.Message CampaignResponse where
+        messageName _ = Data.Text.pack "v3electionpb.CampaignResponse"
+        fieldsByTag
+          = let header__field_descriptor
+                  = Data.ProtoLens.FieldDescriptor "header"
+                      (Data.ProtoLens.MessageField Data.ProtoLens.MessageType ::
+                         Data.ProtoLens.FieldTypeDescriptor
+                           Proto.Etcd.Etcdserver.Etcdserverpb.Rpc.ResponseHeader)
+                      (Data.ProtoLens.OptionalField
+                         (Lens.Labels.lensOf
+                            ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'header")))
+                      :: Data.ProtoLens.FieldDescriptor CampaignResponse
+                leader__field_descriptor
+                  = Data.ProtoLens.FieldDescriptor "leader"
+                      (Data.ProtoLens.MessageField Data.ProtoLens.MessageType ::
+                         Data.ProtoLens.FieldTypeDescriptor LeaderKey)
+                      (Data.ProtoLens.OptionalField
+                         (Lens.Labels.lensOf
+                            ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'leader")))
+                      :: Data.ProtoLens.FieldDescriptor CampaignResponse
+              in
+              Data.Map.fromList
+                [(Data.ProtoLens.Tag 1, header__field_descriptor),
+                 (Data.ProtoLens.Tag 2, leader__field_descriptor)]
+        unknownFields
+          = Lens.Family2.Unchecked.lens _CampaignResponse'_unknownFields
+              (\ x__ y__ -> x__{_CampaignResponse'_unknownFields = y__})
+{- | Fields :
+
+    * 'Proto.Etcd.Etcdserver.Api.V3election.V3electionpb.V3election_Fields.name' @:: Lens' LeaderKey Data.ByteString.ByteString@
+    * 'Proto.Etcd.Etcdserver.Api.V3election.V3electionpb.V3election_Fields.key' @:: Lens' LeaderKey Data.ByteString.ByteString@
+    * 'Proto.Etcd.Etcdserver.Api.V3election.V3electionpb.V3election_Fields.rev' @:: Lens' LeaderKey Data.Int.Int64@
+    * 'Proto.Etcd.Etcdserver.Api.V3election.V3electionpb.V3election_Fields.lease' @:: Lens' LeaderKey Data.Int.Int64@
+ -}
+data LeaderKey = LeaderKey{_LeaderKey'name ::
+                           !Data.ByteString.ByteString,
+                           _LeaderKey'key :: !Data.ByteString.ByteString,
+                           _LeaderKey'rev :: !Data.Int.Int64,
+                           _LeaderKey'lease :: !Data.Int.Int64,
+                           _LeaderKey'_unknownFields :: !Data.ProtoLens.FieldSet}
+                   deriving (Prelude.Show, Prelude.Eq, Prelude.Ord)
+instance (Lens.Labels.HasLens' f LeaderKey x a, a ~ b) =>
+         Lens.Labels.HasLens f LeaderKey LeaderKey x a b
+         where
+        lensOf = Lens.Labels.lensOf'
+instance Prelude.Functor f =>
+         Lens.Labels.HasLens' f LeaderKey "name"
+           (Data.ByteString.ByteString)
+         where
+        lensOf' _
+          = (Prelude..)
+              (Lens.Family2.Unchecked.lens _LeaderKey'name
+                 (\ x__ y__ -> x__{_LeaderKey'name = y__}))
+              Prelude.id
+instance Prelude.Functor f =>
+         Lens.Labels.HasLens' f LeaderKey "key" (Data.ByteString.ByteString)
+         where
+        lensOf' _
+          = (Prelude..)
+              (Lens.Family2.Unchecked.lens _LeaderKey'key
+                 (\ x__ y__ -> x__{_LeaderKey'key = y__}))
+              Prelude.id
+instance Prelude.Functor f =>
+         Lens.Labels.HasLens' f LeaderKey "rev" (Data.Int.Int64)
+         where
+        lensOf' _
+          = (Prelude..)
+              (Lens.Family2.Unchecked.lens _LeaderKey'rev
+                 (\ x__ y__ -> x__{_LeaderKey'rev = y__}))
+              Prelude.id
+instance Prelude.Functor f =>
+         Lens.Labels.HasLens' f LeaderKey "lease" (Data.Int.Int64)
+         where
+        lensOf' _
+          = (Prelude..)
+              (Lens.Family2.Unchecked.lens _LeaderKey'lease
+                 (\ x__ y__ -> x__{_LeaderKey'lease = y__}))
+              Prelude.id
+instance Data.Default.Class.Default LeaderKey where
+        def
+          = LeaderKey{_LeaderKey'name = Data.ProtoLens.fieldDefault,
+                      _LeaderKey'key = Data.ProtoLens.fieldDefault,
+                      _LeaderKey'rev = Data.ProtoLens.fieldDefault,
+                      _LeaderKey'lease = Data.ProtoLens.fieldDefault,
+                      _LeaderKey'_unknownFields = ([])}
+instance Data.ProtoLens.Message LeaderKey where
+        messageName _ = Data.Text.pack "v3electionpb.LeaderKey"
+        fieldsByTag
+          = let name__field_descriptor
+                  = Data.ProtoLens.FieldDescriptor "name"
+                      (Data.ProtoLens.ScalarField Data.ProtoLens.BytesField ::
+                         Data.ProtoLens.FieldTypeDescriptor Data.ByteString.ByteString)
+                      (Data.ProtoLens.PlainField Data.ProtoLens.Optional
+                         (Lens.Labels.lensOf
+                            ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "name")))
+                      :: Data.ProtoLens.FieldDescriptor LeaderKey
+                key__field_descriptor
+                  = Data.ProtoLens.FieldDescriptor "key"
+                      (Data.ProtoLens.ScalarField Data.ProtoLens.BytesField ::
+                         Data.ProtoLens.FieldTypeDescriptor Data.ByteString.ByteString)
+                      (Data.ProtoLens.PlainField Data.ProtoLens.Optional
+                         (Lens.Labels.lensOf
+                            ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "key")))
+                      :: Data.ProtoLens.FieldDescriptor LeaderKey
+                rev__field_descriptor
+                  = Data.ProtoLens.FieldDescriptor "rev"
+                      (Data.ProtoLens.ScalarField Data.ProtoLens.Int64Field ::
+                         Data.ProtoLens.FieldTypeDescriptor Data.Int.Int64)
+                      (Data.ProtoLens.PlainField Data.ProtoLens.Optional
+                         (Lens.Labels.lensOf
+                            ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "rev")))
+                      :: Data.ProtoLens.FieldDescriptor LeaderKey
+                lease__field_descriptor
+                  = Data.ProtoLens.FieldDescriptor "lease"
+                      (Data.ProtoLens.ScalarField Data.ProtoLens.Int64Field ::
+                         Data.ProtoLens.FieldTypeDescriptor Data.Int.Int64)
+                      (Data.ProtoLens.PlainField Data.ProtoLens.Optional
+                         (Lens.Labels.lensOf
+                            ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "lease")))
+                      :: Data.ProtoLens.FieldDescriptor LeaderKey
+              in
+              Data.Map.fromList
+                [(Data.ProtoLens.Tag 1, name__field_descriptor),
+                 (Data.ProtoLens.Tag 2, key__field_descriptor),
+                 (Data.ProtoLens.Tag 3, rev__field_descriptor),
+                 (Data.ProtoLens.Tag 4, lease__field_descriptor)]
+        unknownFields
+          = Lens.Family2.Unchecked.lens _LeaderKey'_unknownFields
+              (\ x__ y__ -> x__{_LeaderKey'_unknownFields = y__})
+{- | Fields :
+
+    * 'Proto.Etcd.Etcdserver.Api.V3election.V3electionpb.V3election_Fields.name' @:: Lens' LeaderRequest Data.ByteString.ByteString@
+ -}
+data LeaderRequest = LeaderRequest{_LeaderRequest'name ::
+                                   !Data.ByteString.ByteString,
+                                   _LeaderRequest'_unknownFields :: !Data.ProtoLens.FieldSet}
+                       deriving (Prelude.Show, Prelude.Eq, Prelude.Ord)
+instance (Lens.Labels.HasLens' f LeaderRequest x a, a ~ b) =>
+         Lens.Labels.HasLens f LeaderRequest LeaderRequest x a b
+         where
+        lensOf = Lens.Labels.lensOf'
+instance Prelude.Functor f =>
+         Lens.Labels.HasLens' f LeaderRequest "name"
+           (Data.ByteString.ByteString)
+         where
+        lensOf' _
+          = (Prelude..)
+              (Lens.Family2.Unchecked.lens _LeaderRequest'name
+                 (\ x__ y__ -> x__{_LeaderRequest'name = y__}))
+              Prelude.id
+instance Data.Default.Class.Default LeaderRequest where
+        def
+          = LeaderRequest{_LeaderRequest'name = Data.ProtoLens.fieldDefault,
+                          _LeaderRequest'_unknownFields = ([])}
+instance Data.ProtoLens.Message LeaderRequest where
+        messageName _ = Data.Text.pack "v3electionpb.LeaderRequest"
+        fieldsByTag
+          = let name__field_descriptor
+                  = Data.ProtoLens.FieldDescriptor "name"
+                      (Data.ProtoLens.ScalarField Data.ProtoLens.BytesField ::
+                         Data.ProtoLens.FieldTypeDescriptor Data.ByteString.ByteString)
+                      (Data.ProtoLens.PlainField Data.ProtoLens.Optional
+                         (Lens.Labels.lensOf
+                            ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "name")))
+                      :: Data.ProtoLens.FieldDescriptor LeaderRequest
+              in
+              Data.Map.fromList [(Data.ProtoLens.Tag 1, name__field_descriptor)]
+        unknownFields
+          = Lens.Family2.Unchecked.lens _LeaderRequest'_unknownFields
+              (\ x__ y__ -> x__{_LeaderRequest'_unknownFields = y__})
+{- | Fields :
+
+    * 'Proto.Etcd.Etcdserver.Api.V3election.V3electionpb.V3election_Fields.header' @:: Lens' LeaderResponse
+  Proto.Etcd.Etcdserver.Etcdserverpb.Rpc.ResponseHeader@
+    * 'Proto.Etcd.Etcdserver.Api.V3election.V3electionpb.V3election_Fields.maybe'header' @:: Lens' LeaderResponse
+  (Prelude.Maybe
+     Proto.Etcd.Etcdserver.Etcdserverpb.Rpc.ResponseHeader)@
+    * 'Proto.Etcd.Etcdserver.Api.V3election.V3electionpb.V3election_Fields.kv' @:: Lens' LeaderResponse Proto.Etcd.Mvcc.Mvccpb.Kv.KeyValue@
+    * 'Proto.Etcd.Etcdserver.Api.V3election.V3electionpb.V3election_Fields.maybe'kv' @:: Lens' LeaderResponse
+  (Prelude.Maybe Proto.Etcd.Mvcc.Mvccpb.Kv.KeyValue)@
+ -}
+data LeaderResponse = LeaderResponse{_LeaderResponse'header ::
+                                     !(Prelude.Maybe
+                                         Proto.Etcd.Etcdserver.Etcdserverpb.Rpc.ResponseHeader),
+                                     _LeaderResponse'kv ::
+                                     !(Prelude.Maybe Proto.Etcd.Mvcc.Mvccpb.Kv.KeyValue),
+                                     _LeaderResponse'_unknownFields :: !Data.ProtoLens.FieldSet}
+                        deriving (Prelude.Show, Prelude.Eq, Prelude.Ord)
+instance (Lens.Labels.HasLens' f LeaderResponse x a, a ~ b) =>
+         Lens.Labels.HasLens f LeaderResponse LeaderResponse x a b
+         where
+        lensOf = Lens.Labels.lensOf'
+instance Prelude.Functor f =>
+         Lens.Labels.HasLens' f LeaderResponse "header"
+           (Proto.Etcd.Etcdserver.Etcdserverpb.Rpc.ResponseHeader)
+         where
+        lensOf' _
+          = (Prelude..)
+              (Lens.Family2.Unchecked.lens _LeaderResponse'header
+                 (\ x__ y__ -> x__{_LeaderResponse'header = y__}))
+              (Data.ProtoLens.maybeLens Data.Default.Class.def)
+instance Prelude.Functor f =>
+         Lens.Labels.HasLens' f LeaderResponse "maybe'header"
+           (Prelude.Maybe
+              Proto.Etcd.Etcdserver.Etcdserverpb.Rpc.ResponseHeader)
+         where
+        lensOf' _
+          = (Prelude..)
+              (Lens.Family2.Unchecked.lens _LeaderResponse'header
+                 (\ x__ y__ -> x__{_LeaderResponse'header = y__}))
+              Prelude.id
+instance Prelude.Functor f =>
+         Lens.Labels.HasLens' f LeaderResponse "kv"
+           (Proto.Etcd.Mvcc.Mvccpb.Kv.KeyValue)
+         where
+        lensOf' _
+          = (Prelude..)
+              (Lens.Family2.Unchecked.lens _LeaderResponse'kv
+                 (\ x__ y__ -> x__{_LeaderResponse'kv = y__}))
+              (Data.ProtoLens.maybeLens Data.Default.Class.def)
+instance Prelude.Functor f =>
+         Lens.Labels.HasLens' f LeaderResponse "maybe'kv"
+           (Prelude.Maybe Proto.Etcd.Mvcc.Mvccpb.Kv.KeyValue)
+         where
+        lensOf' _
+          = (Prelude..)
+              (Lens.Family2.Unchecked.lens _LeaderResponse'kv
+                 (\ x__ y__ -> x__{_LeaderResponse'kv = y__}))
+              Prelude.id
+instance Data.Default.Class.Default LeaderResponse where
+        def
+          = LeaderResponse{_LeaderResponse'header = Prelude.Nothing,
+                           _LeaderResponse'kv = Prelude.Nothing,
+                           _LeaderResponse'_unknownFields = ([])}
+instance Data.ProtoLens.Message LeaderResponse where
+        messageName _ = Data.Text.pack "v3electionpb.LeaderResponse"
+        fieldsByTag
+          = let header__field_descriptor
+                  = Data.ProtoLens.FieldDescriptor "header"
+                      (Data.ProtoLens.MessageField Data.ProtoLens.MessageType ::
+                         Data.ProtoLens.FieldTypeDescriptor
+                           Proto.Etcd.Etcdserver.Etcdserverpb.Rpc.ResponseHeader)
+                      (Data.ProtoLens.OptionalField
+                         (Lens.Labels.lensOf
+                            ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'header")))
+                      :: Data.ProtoLens.FieldDescriptor LeaderResponse
+                kv__field_descriptor
+                  = Data.ProtoLens.FieldDescriptor "kv"
+                      (Data.ProtoLens.MessageField Data.ProtoLens.MessageType ::
+                         Data.ProtoLens.FieldTypeDescriptor
+                           Proto.Etcd.Mvcc.Mvccpb.Kv.KeyValue)
+                      (Data.ProtoLens.OptionalField
+                         (Lens.Labels.lensOf
+                            ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'kv")))
+                      :: Data.ProtoLens.FieldDescriptor LeaderResponse
+              in
+              Data.Map.fromList
+                [(Data.ProtoLens.Tag 1, header__field_descriptor),
+                 (Data.ProtoLens.Tag 2, kv__field_descriptor)]
+        unknownFields
+          = Lens.Family2.Unchecked.lens _LeaderResponse'_unknownFields
+              (\ x__ y__ -> x__{_LeaderResponse'_unknownFields = y__})
+{- | Fields :
+
+    * 'Proto.Etcd.Etcdserver.Api.V3election.V3electionpb.V3election_Fields.leader' @:: Lens' ProclaimRequest LeaderKey@
+    * 'Proto.Etcd.Etcdserver.Api.V3election.V3electionpb.V3election_Fields.maybe'leader' @:: Lens' ProclaimRequest (Prelude.Maybe LeaderKey)@
+    * 'Proto.Etcd.Etcdserver.Api.V3election.V3electionpb.V3election_Fields.value' @:: Lens' ProclaimRequest Data.ByteString.ByteString@
+ -}
+data ProclaimRequest = ProclaimRequest{_ProclaimRequest'leader ::
+                                       !(Prelude.Maybe LeaderKey),
+                                       _ProclaimRequest'value :: !Data.ByteString.ByteString,
+                                       _ProclaimRequest'_unknownFields :: !Data.ProtoLens.FieldSet}
+                         deriving (Prelude.Show, Prelude.Eq, Prelude.Ord)
+instance (Lens.Labels.HasLens' f ProclaimRequest x a, a ~ b) =>
+         Lens.Labels.HasLens f ProclaimRequest ProclaimRequest x a b
+         where
+        lensOf = Lens.Labels.lensOf'
+instance Prelude.Functor f =>
+         Lens.Labels.HasLens' f ProclaimRequest "leader" (LeaderKey)
+         where
+        lensOf' _
+          = (Prelude..)
+              (Lens.Family2.Unchecked.lens _ProclaimRequest'leader
+                 (\ x__ y__ -> x__{_ProclaimRequest'leader = y__}))
+              (Data.ProtoLens.maybeLens Data.Default.Class.def)
+instance Prelude.Functor f =>
+         Lens.Labels.HasLens' f ProclaimRequest "maybe'leader"
+           (Prelude.Maybe LeaderKey)
+         where
+        lensOf' _
+          = (Prelude..)
+              (Lens.Family2.Unchecked.lens _ProclaimRequest'leader
+                 (\ x__ y__ -> x__{_ProclaimRequest'leader = y__}))
+              Prelude.id
+instance Prelude.Functor f =>
+         Lens.Labels.HasLens' f ProclaimRequest "value"
+           (Data.ByteString.ByteString)
+         where
+        lensOf' _
+          = (Prelude..)
+              (Lens.Family2.Unchecked.lens _ProclaimRequest'value
+                 (\ x__ y__ -> x__{_ProclaimRequest'value = y__}))
+              Prelude.id
+instance Data.Default.Class.Default ProclaimRequest where
+        def
+          = ProclaimRequest{_ProclaimRequest'leader = Prelude.Nothing,
+                            _ProclaimRequest'value = Data.ProtoLens.fieldDefault,
+                            _ProclaimRequest'_unknownFields = ([])}
+instance Data.ProtoLens.Message ProclaimRequest where
+        messageName _ = Data.Text.pack "v3electionpb.ProclaimRequest"
+        fieldsByTag
+          = let leader__field_descriptor
+                  = Data.ProtoLens.FieldDescriptor "leader"
+                      (Data.ProtoLens.MessageField Data.ProtoLens.MessageType ::
+                         Data.ProtoLens.FieldTypeDescriptor LeaderKey)
+                      (Data.ProtoLens.OptionalField
+                         (Lens.Labels.lensOf
+                            ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'leader")))
+                      :: Data.ProtoLens.FieldDescriptor ProclaimRequest
+                value__field_descriptor
+                  = Data.ProtoLens.FieldDescriptor "value"
+                      (Data.ProtoLens.ScalarField Data.ProtoLens.BytesField ::
+                         Data.ProtoLens.FieldTypeDescriptor Data.ByteString.ByteString)
+                      (Data.ProtoLens.PlainField Data.ProtoLens.Optional
+                         (Lens.Labels.lensOf
+                            ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "value")))
+                      :: Data.ProtoLens.FieldDescriptor ProclaimRequest
+              in
+              Data.Map.fromList
+                [(Data.ProtoLens.Tag 1, leader__field_descriptor),
+                 (Data.ProtoLens.Tag 2, value__field_descriptor)]
+        unknownFields
+          = Lens.Family2.Unchecked.lens _ProclaimRequest'_unknownFields
+              (\ x__ y__ -> x__{_ProclaimRequest'_unknownFields = y__})
+{- | Fields :
+
+    * 'Proto.Etcd.Etcdserver.Api.V3election.V3electionpb.V3election_Fields.header' @:: Lens' ProclaimResponse
+  Proto.Etcd.Etcdserver.Etcdserverpb.Rpc.ResponseHeader@
+    * 'Proto.Etcd.Etcdserver.Api.V3election.V3electionpb.V3election_Fields.maybe'header' @:: Lens' ProclaimResponse
+  (Prelude.Maybe
+     Proto.Etcd.Etcdserver.Etcdserverpb.Rpc.ResponseHeader)@
+ -}
+data ProclaimResponse = ProclaimResponse{_ProclaimResponse'header
+                                         ::
+                                         !(Prelude.Maybe
+                                             Proto.Etcd.Etcdserver.Etcdserverpb.Rpc.ResponseHeader),
+                                         _ProclaimResponse'_unknownFields ::
+                                         !Data.ProtoLens.FieldSet}
+                          deriving (Prelude.Show, Prelude.Eq, Prelude.Ord)
+instance (Lens.Labels.HasLens' f ProclaimResponse x a, a ~ b) =>
+         Lens.Labels.HasLens f ProclaimResponse ProclaimResponse x a b
+         where
+        lensOf = Lens.Labels.lensOf'
+instance Prelude.Functor f =>
+         Lens.Labels.HasLens' f ProclaimResponse "header"
+           (Proto.Etcd.Etcdserver.Etcdserverpb.Rpc.ResponseHeader)
+         where
+        lensOf' _
+          = (Prelude..)
+              (Lens.Family2.Unchecked.lens _ProclaimResponse'header
+                 (\ x__ y__ -> x__{_ProclaimResponse'header = y__}))
+              (Data.ProtoLens.maybeLens Data.Default.Class.def)
+instance Prelude.Functor f =>
+         Lens.Labels.HasLens' f ProclaimResponse "maybe'header"
+           (Prelude.Maybe
+              Proto.Etcd.Etcdserver.Etcdserverpb.Rpc.ResponseHeader)
+         where
+        lensOf' _
+          = (Prelude..)
+              (Lens.Family2.Unchecked.lens _ProclaimResponse'header
+                 (\ x__ y__ -> x__{_ProclaimResponse'header = y__}))
+              Prelude.id
+instance Data.Default.Class.Default ProclaimResponse where
+        def
+          = ProclaimResponse{_ProclaimResponse'header = Prelude.Nothing,
+                             _ProclaimResponse'_unknownFields = ([])}
+instance Data.ProtoLens.Message ProclaimResponse where
+        messageName _ = Data.Text.pack "v3electionpb.ProclaimResponse"
+        fieldsByTag
+          = let header__field_descriptor
+                  = Data.ProtoLens.FieldDescriptor "header"
+                      (Data.ProtoLens.MessageField Data.ProtoLens.MessageType ::
+                         Data.ProtoLens.FieldTypeDescriptor
+                           Proto.Etcd.Etcdserver.Etcdserverpb.Rpc.ResponseHeader)
+                      (Data.ProtoLens.OptionalField
+                         (Lens.Labels.lensOf
+                            ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'header")))
+                      :: Data.ProtoLens.FieldDescriptor ProclaimResponse
+              in
+              Data.Map.fromList
+                [(Data.ProtoLens.Tag 1, header__field_descriptor)]
+        unknownFields
+          = Lens.Family2.Unchecked.lens _ProclaimResponse'_unknownFields
+              (\ x__ y__ -> x__{_ProclaimResponse'_unknownFields = y__})
+{- | Fields :
+
+    * 'Proto.Etcd.Etcdserver.Api.V3election.V3electionpb.V3election_Fields.leader' @:: Lens' ResignRequest LeaderKey@
+    * 'Proto.Etcd.Etcdserver.Api.V3election.V3electionpb.V3election_Fields.maybe'leader' @:: Lens' ResignRequest (Prelude.Maybe LeaderKey)@
+ -}
+data ResignRequest = ResignRequest{_ResignRequest'leader ::
+                                   !(Prelude.Maybe LeaderKey),
+                                   _ResignRequest'_unknownFields :: !Data.ProtoLens.FieldSet}
+                       deriving (Prelude.Show, Prelude.Eq, Prelude.Ord)
+instance (Lens.Labels.HasLens' f ResignRequest x a, a ~ b) =>
+         Lens.Labels.HasLens f ResignRequest ResignRequest x a b
+         where
+        lensOf = Lens.Labels.lensOf'
+instance Prelude.Functor f =>
+         Lens.Labels.HasLens' f ResignRequest "leader" (LeaderKey)
+         where
+        lensOf' _
+          = (Prelude..)
+              (Lens.Family2.Unchecked.lens _ResignRequest'leader
+                 (\ x__ y__ -> x__{_ResignRequest'leader = y__}))
+              (Data.ProtoLens.maybeLens Data.Default.Class.def)
+instance Prelude.Functor f =>
+         Lens.Labels.HasLens' f ResignRequest "maybe'leader"
+           (Prelude.Maybe LeaderKey)
+         where
+        lensOf' _
+          = (Prelude..)
+              (Lens.Family2.Unchecked.lens _ResignRequest'leader
+                 (\ x__ y__ -> x__{_ResignRequest'leader = y__}))
+              Prelude.id
+instance Data.Default.Class.Default ResignRequest where
+        def
+          = ResignRequest{_ResignRequest'leader = Prelude.Nothing,
+                          _ResignRequest'_unknownFields = ([])}
+instance Data.ProtoLens.Message ResignRequest where
+        messageName _ = Data.Text.pack "v3electionpb.ResignRequest"
+        fieldsByTag
+          = let leader__field_descriptor
+                  = Data.ProtoLens.FieldDescriptor "leader"
+                      (Data.ProtoLens.MessageField Data.ProtoLens.MessageType ::
+                         Data.ProtoLens.FieldTypeDescriptor LeaderKey)
+                      (Data.ProtoLens.OptionalField
+                         (Lens.Labels.lensOf
+                            ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'leader")))
+                      :: Data.ProtoLens.FieldDescriptor ResignRequest
+              in
+              Data.Map.fromList
+                [(Data.ProtoLens.Tag 1, leader__field_descriptor)]
+        unknownFields
+          = Lens.Family2.Unchecked.lens _ResignRequest'_unknownFields
+              (\ x__ y__ -> x__{_ResignRequest'_unknownFields = y__})
+{- | Fields :
+
+    * 'Proto.Etcd.Etcdserver.Api.V3election.V3electionpb.V3election_Fields.header' @:: Lens' ResignResponse
+  Proto.Etcd.Etcdserver.Etcdserverpb.Rpc.ResponseHeader@
+    * 'Proto.Etcd.Etcdserver.Api.V3election.V3electionpb.V3election_Fields.maybe'header' @:: Lens' ResignResponse
+  (Prelude.Maybe
+     Proto.Etcd.Etcdserver.Etcdserverpb.Rpc.ResponseHeader)@
+ -}
+data ResignResponse = ResignResponse{_ResignResponse'header ::
+                                     !(Prelude.Maybe
+                                         Proto.Etcd.Etcdserver.Etcdserverpb.Rpc.ResponseHeader),
+                                     _ResignResponse'_unknownFields :: !Data.ProtoLens.FieldSet}
+                        deriving (Prelude.Show, Prelude.Eq, Prelude.Ord)
+instance (Lens.Labels.HasLens' f ResignResponse x a, a ~ b) =>
+         Lens.Labels.HasLens f ResignResponse ResignResponse x a b
+         where
+        lensOf = Lens.Labels.lensOf'
+instance Prelude.Functor f =>
+         Lens.Labels.HasLens' f ResignResponse "header"
+           (Proto.Etcd.Etcdserver.Etcdserverpb.Rpc.ResponseHeader)
+         where
+        lensOf' _
+          = (Prelude..)
+              (Lens.Family2.Unchecked.lens _ResignResponse'header
+                 (\ x__ y__ -> x__{_ResignResponse'header = y__}))
+              (Data.ProtoLens.maybeLens Data.Default.Class.def)
+instance Prelude.Functor f =>
+         Lens.Labels.HasLens' f ResignResponse "maybe'header"
+           (Prelude.Maybe
+              Proto.Etcd.Etcdserver.Etcdserverpb.Rpc.ResponseHeader)
+         where
+        lensOf' _
+          = (Prelude..)
+              (Lens.Family2.Unchecked.lens _ResignResponse'header
+                 (\ x__ y__ -> x__{_ResignResponse'header = y__}))
+              Prelude.id
+instance Data.Default.Class.Default ResignResponse where
+        def
+          = ResignResponse{_ResignResponse'header = Prelude.Nothing,
+                           _ResignResponse'_unknownFields = ([])}
+instance Data.ProtoLens.Message ResignResponse where
+        messageName _ = Data.Text.pack "v3electionpb.ResignResponse"
+        fieldsByTag
+          = let header__field_descriptor
+                  = Data.ProtoLens.FieldDescriptor "header"
+                      (Data.ProtoLens.MessageField Data.ProtoLens.MessageType ::
+                         Data.ProtoLens.FieldTypeDescriptor
+                           Proto.Etcd.Etcdserver.Etcdserverpb.Rpc.ResponseHeader)
+                      (Data.ProtoLens.OptionalField
+                         (Lens.Labels.lensOf
+                            ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'header")))
+                      :: Data.ProtoLens.FieldDescriptor ResignResponse
+              in
+              Data.Map.fromList
+                [(Data.ProtoLens.Tag 1, header__field_descriptor)]
+        unknownFields
+          = Lens.Family2.Unchecked.lens _ResignResponse'_unknownFields
+              (\ x__ y__ -> x__{_ResignResponse'_unknownFields = y__})
+data Election = Election{}
+                  deriving ()
+instance Data.ProtoLens.Service.Types.Service Election where
+        type ServiceName Election = "Election"
+        type ServicePackage Election = "v3electionpb"
+        type ServiceMethods Election =
+             '["campaign", "leader", "observe", "proclaim", "resign"]
+instance Data.ProtoLens.Service.Types.HasMethodImpl Election
+           "campaign"
+         where
+        type MethodName Election "campaign" = "Campaign"
+        type MethodInput Election "campaign" = CampaignRequest
+        type MethodOutput Election "campaign" = CampaignResponse
+        type MethodStreamingType Election "campaign" =
+             'Data.ProtoLens.Service.Types.NonStreaming
+instance Data.ProtoLens.Service.Types.HasMethodImpl Election
+           "proclaim"
+         where
+        type MethodName Election "proclaim" = "Proclaim"
+        type MethodInput Election "proclaim" = ProclaimRequest
+        type MethodOutput Election "proclaim" = ProclaimResponse
+        type MethodStreamingType Election "proclaim" =
+             'Data.ProtoLens.Service.Types.NonStreaming
+instance Data.ProtoLens.Service.Types.HasMethodImpl Election
+           "leader"
+         where
+        type MethodName Election "leader" = "Leader"
+        type MethodInput Election "leader" = LeaderRequest
+        type MethodOutput Election "leader" = LeaderResponse
+        type MethodStreamingType Election "leader" =
+             'Data.ProtoLens.Service.Types.NonStreaming
+instance Data.ProtoLens.Service.Types.HasMethodImpl Election
+           "observe"
+         where
+        type MethodName Election "observe" = "Observe"
+        type MethodInput Election "observe" = LeaderRequest
+        type MethodOutput Election "observe" = LeaderResponse
+        type MethodStreamingType Election "observe" =
+             'Data.ProtoLens.Service.Types.ServerStreaming
+instance Data.ProtoLens.Service.Types.HasMethodImpl Election
+           "resign"
+         where
+        type MethodName Election "resign" = "Resign"
+        type MethodInput Election "resign" = ResignRequest
+        type MethodOutput Election "resign" = ResignResponse
+        type MethodStreamingType Election "resign" =
+             'Data.ProtoLens.Service.Types.NonStreaming
diff --git a/gen/Proto/Etcd/Etcdserver/Api/V3election/V3electionpb/V3election_Fields.hs b/gen/Proto/Etcd/Etcdserver/Api/V3election/V3electionpb/V3election_Fields.hs
new file mode 100644
--- /dev/null
+++ b/gen/Proto/Etcd/Etcdserver/Api/V3election/V3electionpb/V3election_Fields.hs
@@ -0,0 +1,107 @@
+{- This file was auto-generated from etcd/etcdserver/api/v3election/v3electionpb/v3election.proto by the proto-lens-protoc program. -}
+{-# LANGUAGE ScopedTypeVariables, DataKinds, TypeFamilies,
+  UndecidableInstances, GeneralizedNewtypeDeriving,
+  MultiParamTypeClasses, FlexibleContexts, FlexibleInstances,
+  PatternSynonyms, MagicHash, NoImplicitPrelude, DataKinds #-}
+{-# OPTIONS_GHC -fno-warn-unused-imports#-}
+{-# OPTIONS_GHC -fno-warn-duplicate-exports#-}
+module Proto.Etcd.Etcdserver.Api.V3election.V3electionpb.V3election_Fields
+       where
+import qualified Data.ProtoLens.Reexport.Prelude as Prelude
+import qualified Data.ProtoLens.Reexport.Data.Int as Data.Int
+import qualified Data.ProtoLens.Reexport.Data.Word as Data.Word
+import qualified Data.ProtoLens.Reexport.Data.ProtoLens
+       as Data.ProtoLens
+import qualified
+       Data.ProtoLens.Reexport.Data.ProtoLens.Message.Enum
+       as Data.ProtoLens.Message.Enum
+import qualified
+       Data.ProtoLens.Reexport.Data.ProtoLens.Service.Types
+       as Data.ProtoLens.Service.Types
+import qualified Data.ProtoLens.Reexport.Lens.Family2
+       as Lens.Family2
+import qualified Data.ProtoLens.Reexport.Lens.Family2.Unchecked
+       as Lens.Family2.Unchecked
+import qualified Data.ProtoLens.Reexport.Data.Default.Class
+       as Data.Default.Class
+import qualified Data.ProtoLens.Reexport.Data.Text as Data.Text
+import qualified Data.ProtoLens.Reexport.Data.Map as Data.Map
+import qualified Data.ProtoLens.Reexport.Data.ByteString
+       as Data.ByteString
+import qualified Data.ProtoLens.Reexport.Data.ByteString.Char8
+       as Data.ByteString.Char8
+import qualified Data.ProtoLens.Reexport.Lens.Labels as Lens.Labels
+import qualified Data.ProtoLens.Reexport.Text.Read as Text.Read
+import qualified Proto.Etcd.Etcdserver.Etcdserverpb.Rpc
+import qualified Proto.Etcd.Mvcc.Mvccpb.Kv
+import qualified Proto.Gogoproto.Gogo
+import qualified Proto.Google.Api.Annotations
+
+header ::
+       forall f s t a b . (Lens.Labels.HasLens f s t "header" a b) =>
+         Lens.Family2.LensLike f s t a b
+header
+  = Lens.Labels.lensOf
+      ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "header")
+key ::
+    forall f s t a b . (Lens.Labels.HasLens f s t "key" a b) =>
+      Lens.Family2.LensLike f s t a b
+key
+  = Lens.Labels.lensOf
+      ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "key")
+kv ::
+   forall f s t a b . (Lens.Labels.HasLens f s t "kv" a b) =>
+     Lens.Family2.LensLike f s t a b
+kv
+  = Lens.Labels.lensOf
+      ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "kv")
+leader ::
+       forall f s t a b . (Lens.Labels.HasLens f s t "leader" a b) =>
+         Lens.Family2.LensLike f s t a b
+leader
+  = Lens.Labels.lensOf
+      ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "leader")
+lease ::
+      forall f s t a b . (Lens.Labels.HasLens f s t "lease" a b) =>
+        Lens.Family2.LensLike f s t a b
+lease
+  = Lens.Labels.lensOf
+      ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "lease")
+maybe'header ::
+             forall f s t a b .
+               (Lens.Labels.HasLens f s t "maybe'header" a b) =>
+               Lens.Family2.LensLike f s t a b
+maybe'header
+  = Lens.Labels.lensOf
+      ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'header")
+maybe'kv ::
+         forall f s t a b . (Lens.Labels.HasLens f s t "maybe'kv" a b) =>
+           Lens.Family2.LensLike f s t a b
+maybe'kv
+  = Lens.Labels.lensOf
+      ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'kv")
+maybe'leader ::
+             forall f s t a b .
+               (Lens.Labels.HasLens f s t "maybe'leader" a b) =>
+               Lens.Family2.LensLike f s t a b
+maybe'leader
+  = Lens.Labels.lensOf
+      ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'leader")
+name ::
+     forall f s t a b . (Lens.Labels.HasLens f s t "name" a b) =>
+       Lens.Family2.LensLike f s t a b
+name
+  = Lens.Labels.lensOf
+      ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "name")
+rev ::
+    forall f s t a b . (Lens.Labels.HasLens f s t "rev" a b) =>
+      Lens.Family2.LensLike f s t a b
+rev
+  = Lens.Labels.lensOf
+      ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "rev")
+value ::
+      forall f s t a b . (Lens.Labels.HasLens f s t "value" a b) =>
+        Lens.Family2.LensLike f s t a b
+value
+  = Lens.Labels.lensOf
+      ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "value")
diff --git a/gen/Proto/Etcd/Etcdserver/Api/V3lock/V3lockpb/V3lock.hs b/gen/Proto/Etcd/Etcdserver/Api/V3lock/V3lockpb/V3lock.hs
new file mode 100644
--- /dev/null
+++ b/gen/Proto/Etcd/Etcdserver/Api/V3lock/V3lockpb/V3lock.hs
@@ -0,0 +1,302 @@
+{- This file was auto-generated from etcd/etcdserver/api/v3lock/v3lockpb/v3lock.proto by the proto-lens-protoc program. -}
+{-# LANGUAGE ScopedTypeVariables, DataKinds, TypeFamilies,
+  UndecidableInstances, GeneralizedNewtypeDeriving,
+  MultiParamTypeClasses, FlexibleContexts, FlexibleInstances,
+  PatternSynonyms, MagicHash, NoImplicitPrelude, DataKinds #-}
+{-# OPTIONS_GHC -fno-warn-unused-imports#-}
+{-# OPTIONS_GHC -fno-warn-duplicate-exports#-}
+module Proto.Etcd.Etcdserver.Api.V3lock.V3lockpb.V3lock
+       (Lock(..), LockRequest(..), LockResponse(..), UnlockRequest(..),
+        UnlockResponse(..))
+       where
+import qualified Data.ProtoLens.Reexport.Lens.Labels.Prism
+       as Lens.Labels.Prism
+import qualified Data.ProtoLens.Reexport.Prelude as Prelude
+import qualified Data.ProtoLens.Reexport.Data.Int as Data.Int
+import qualified Data.ProtoLens.Reexport.Data.Word as Data.Word
+import qualified Data.ProtoLens.Reexport.Data.ProtoLens
+       as Data.ProtoLens
+import qualified
+       Data.ProtoLens.Reexport.Data.ProtoLens.Message.Enum
+       as Data.ProtoLens.Message.Enum
+import qualified
+       Data.ProtoLens.Reexport.Data.ProtoLens.Service.Types
+       as Data.ProtoLens.Service.Types
+import qualified Data.ProtoLens.Reexport.Lens.Family2
+       as Lens.Family2
+import qualified Data.ProtoLens.Reexport.Lens.Family2.Unchecked
+       as Lens.Family2.Unchecked
+import qualified Data.ProtoLens.Reexport.Data.Default.Class
+       as Data.Default.Class
+import qualified Data.ProtoLens.Reexport.Data.Text as Data.Text
+import qualified Data.ProtoLens.Reexport.Data.Map as Data.Map
+import qualified Data.ProtoLens.Reexport.Data.ByteString
+       as Data.ByteString
+import qualified Data.ProtoLens.Reexport.Data.ByteString.Char8
+       as Data.ByteString.Char8
+import qualified Data.ProtoLens.Reexport.Lens.Labels as Lens.Labels
+import qualified Data.ProtoLens.Reexport.Text.Read as Text.Read
+import qualified Proto.Etcd.Etcdserver.Etcdserverpb.Rpc
+import qualified Proto.Gogoproto.Gogo
+import qualified Proto.Google.Api.Annotations
+
+{- | Fields :
+
+    * 'Proto.Etcd.Etcdserver.Api.V3lock.V3lockpb.V3lock_Fields.name' @:: Lens' LockRequest Data.ByteString.ByteString@
+    * 'Proto.Etcd.Etcdserver.Api.V3lock.V3lockpb.V3lock_Fields.lease' @:: Lens' LockRequest Data.Int.Int64@
+ -}
+data LockRequest = LockRequest{_LockRequest'name ::
+                               !Data.ByteString.ByteString,
+                               _LockRequest'lease :: !Data.Int.Int64,
+                               _LockRequest'_unknownFields :: !Data.ProtoLens.FieldSet}
+                     deriving (Prelude.Show, Prelude.Eq, Prelude.Ord)
+instance (Lens.Labels.HasLens' f LockRequest x a, a ~ b) =>
+         Lens.Labels.HasLens f LockRequest LockRequest x a b
+         where
+        lensOf = Lens.Labels.lensOf'
+instance Prelude.Functor f =>
+         Lens.Labels.HasLens' f LockRequest "name"
+           (Data.ByteString.ByteString)
+         where
+        lensOf' _
+          = (Prelude..)
+              (Lens.Family2.Unchecked.lens _LockRequest'name
+                 (\ x__ y__ -> x__{_LockRequest'name = y__}))
+              Prelude.id
+instance Prelude.Functor f =>
+         Lens.Labels.HasLens' f LockRequest "lease" (Data.Int.Int64)
+         where
+        lensOf' _
+          = (Prelude..)
+              (Lens.Family2.Unchecked.lens _LockRequest'lease
+                 (\ x__ y__ -> x__{_LockRequest'lease = y__}))
+              Prelude.id
+instance Data.Default.Class.Default LockRequest where
+        def
+          = LockRequest{_LockRequest'name = Data.ProtoLens.fieldDefault,
+                        _LockRequest'lease = Data.ProtoLens.fieldDefault,
+                        _LockRequest'_unknownFields = ([])}
+instance Data.ProtoLens.Message LockRequest where
+        messageName _ = Data.Text.pack "v3lockpb.LockRequest"
+        fieldsByTag
+          = let name__field_descriptor
+                  = Data.ProtoLens.FieldDescriptor "name"
+                      (Data.ProtoLens.ScalarField Data.ProtoLens.BytesField ::
+                         Data.ProtoLens.FieldTypeDescriptor Data.ByteString.ByteString)
+                      (Data.ProtoLens.PlainField Data.ProtoLens.Optional
+                         (Lens.Labels.lensOf
+                            ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "name")))
+                      :: Data.ProtoLens.FieldDescriptor LockRequest
+                lease__field_descriptor
+                  = Data.ProtoLens.FieldDescriptor "lease"
+                      (Data.ProtoLens.ScalarField Data.ProtoLens.Int64Field ::
+                         Data.ProtoLens.FieldTypeDescriptor Data.Int.Int64)
+                      (Data.ProtoLens.PlainField Data.ProtoLens.Optional
+                         (Lens.Labels.lensOf
+                            ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "lease")))
+                      :: Data.ProtoLens.FieldDescriptor LockRequest
+              in
+              Data.Map.fromList
+                [(Data.ProtoLens.Tag 1, name__field_descriptor),
+                 (Data.ProtoLens.Tag 2, lease__field_descriptor)]
+        unknownFields
+          = Lens.Family2.Unchecked.lens _LockRequest'_unknownFields
+              (\ x__ y__ -> x__{_LockRequest'_unknownFields = y__})
+{- | Fields :
+
+    * 'Proto.Etcd.Etcdserver.Api.V3lock.V3lockpb.V3lock_Fields.header' @:: Lens' LockResponse
+  Proto.Etcd.Etcdserver.Etcdserverpb.Rpc.ResponseHeader@
+    * 'Proto.Etcd.Etcdserver.Api.V3lock.V3lockpb.V3lock_Fields.maybe'header' @:: Lens' LockResponse
+  (Prelude.Maybe
+     Proto.Etcd.Etcdserver.Etcdserverpb.Rpc.ResponseHeader)@
+    * 'Proto.Etcd.Etcdserver.Api.V3lock.V3lockpb.V3lock_Fields.key' @:: Lens' LockResponse Data.ByteString.ByteString@
+ -}
+data LockResponse = LockResponse{_LockResponse'header ::
+                                 !(Prelude.Maybe
+                                     Proto.Etcd.Etcdserver.Etcdserverpb.Rpc.ResponseHeader),
+                                 _LockResponse'key :: !Data.ByteString.ByteString,
+                                 _LockResponse'_unknownFields :: !Data.ProtoLens.FieldSet}
+                      deriving (Prelude.Show, Prelude.Eq, Prelude.Ord)
+instance (Lens.Labels.HasLens' f LockResponse x a, a ~ b) =>
+         Lens.Labels.HasLens f LockResponse LockResponse x a b
+         where
+        lensOf = Lens.Labels.lensOf'
+instance Prelude.Functor f =>
+         Lens.Labels.HasLens' f LockResponse "header"
+           (Proto.Etcd.Etcdserver.Etcdserverpb.Rpc.ResponseHeader)
+         where
+        lensOf' _
+          = (Prelude..)
+              (Lens.Family2.Unchecked.lens _LockResponse'header
+                 (\ x__ y__ -> x__{_LockResponse'header = y__}))
+              (Data.ProtoLens.maybeLens Data.Default.Class.def)
+instance Prelude.Functor f =>
+         Lens.Labels.HasLens' f LockResponse "maybe'header"
+           (Prelude.Maybe
+              Proto.Etcd.Etcdserver.Etcdserverpb.Rpc.ResponseHeader)
+         where
+        lensOf' _
+          = (Prelude..)
+              (Lens.Family2.Unchecked.lens _LockResponse'header
+                 (\ x__ y__ -> x__{_LockResponse'header = y__}))
+              Prelude.id
+instance Prelude.Functor f =>
+         Lens.Labels.HasLens' f LockResponse "key"
+           (Data.ByteString.ByteString)
+         where
+        lensOf' _
+          = (Prelude..)
+              (Lens.Family2.Unchecked.lens _LockResponse'key
+                 (\ x__ y__ -> x__{_LockResponse'key = y__}))
+              Prelude.id
+instance Data.Default.Class.Default LockResponse where
+        def
+          = LockResponse{_LockResponse'header = Prelude.Nothing,
+                         _LockResponse'key = Data.ProtoLens.fieldDefault,
+                         _LockResponse'_unknownFields = ([])}
+instance Data.ProtoLens.Message LockResponse where
+        messageName _ = Data.Text.pack "v3lockpb.LockResponse"
+        fieldsByTag
+          = let header__field_descriptor
+                  = Data.ProtoLens.FieldDescriptor "header"
+                      (Data.ProtoLens.MessageField Data.ProtoLens.MessageType ::
+                         Data.ProtoLens.FieldTypeDescriptor
+                           Proto.Etcd.Etcdserver.Etcdserverpb.Rpc.ResponseHeader)
+                      (Data.ProtoLens.OptionalField
+                         (Lens.Labels.lensOf
+                            ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'header")))
+                      :: Data.ProtoLens.FieldDescriptor LockResponse
+                key__field_descriptor
+                  = Data.ProtoLens.FieldDescriptor "key"
+                      (Data.ProtoLens.ScalarField Data.ProtoLens.BytesField ::
+                         Data.ProtoLens.FieldTypeDescriptor Data.ByteString.ByteString)
+                      (Data.ProtoLens.PlainField Data.ProtoLens.Optional
+                         (Lens.Labels.lensOf
+                            ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "key")))
+                      :: Data.ProtoLens.FieldDescriptor LockResponse
+              in
+              Data.Map.fromList
+                [(Data.ProtoLens.Tag 1, header__field_descriptor),
+                 (Data.ProtoLens.Tag 2, key__field_descriptor)]
+        unknownFields
+          = Lens.Family2.Unchecked.lens _LockResponse'_unknownFields
+              (\ x__ y__ -> x__{_LockResponse'_unknownFields = y__})
+{- | Fields :
+
+    * 'Proto.Etcd.Etcdserver.Api.V3lock.V3lockpb.V3lock_Fields.key' @:: Lens' UnlockRequest Data.ByteString.ByteString@
+ -}
+data UnlockRequest = UnlockRequest{_UnlockRequest'key ::
+                                   !Data.ByteString.ByteString,
+                                   _UnlockRequest'_unknownFields :: !Data.ProtoLens.FieldSet}
+                       deriving (Prelude.Show, Prelude.Eq, Prelude.Ord)
+instance (Lens.Labels.HasLens' f UnlockRequest x a, a ~ b) =>
+         Lens.Labels.HasLens f UnlockRequest UnlockRequest x a b
+         where
+        lensOf = Lens.Labels.lensOf'
+instance Prelude.Functor f =>
+         Lens.Labels.HasLens' f UnlockRequest "key"
+           (Data.ByteString.ByteString)
+         where
+        lensOf' _
+          = (Prelude..)
+              (Lens.Family2.Unchecked.lens _UnlockRequest'key
+                 (\ x__ y__ -> x__{_UnlockRequest'key = y__}))
+              Prelude.id
+instance Data.Default.Class.Default UnlockRequest where
+        def
+          = UnlockRequest{_UnlockRequest'key = Data.ProtoLens.fieldDefault,
+                          _UnlockRequest'_unknownFields = ([])}
+instance Data.ProtoLens.Message UnlockRequest where
+        messageName _ = Data.Text.pack "v3lockpb.UnlockRequest"
+        fieldsByTag
+          = let key__field_descriptor
+                  = Data.ProtoLens.FieldDescriptor "key"
+                      (Data.ProtoLens.ScalarField Data.ProtoLens.BytesField ::
+                         Data.ProtoLens.FieldTypeDescriptor Data.ByteString.ByteString)
+                      (Data.ProtoLens.PlainField Data.ProtoLens.Optional
+                         (Lens.Labels.lensOf
+                            ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "key")))
+                      :: Data.ProtoLens.FieldDescriptor UnlockRequest
+              in
+              Data.Map.fromList [(Data.ProtoLens.Tag 1, key__field_descriptor)]
+        unknownFields
+          = Lens.Family2.Unchecked.lens _UnlockRequest'_unknownFields
+              (\ x__ y__ -> x__{_UnlockRequest'_unknownFields = y__})
+{- | Fields :
+
+    * 'Proto.Etcd.Etcdserver.Api.V3lock.V3lockpb.V3lock_Fields.header' @:: Lens' UnlockResponse
+  Proto.Etcd.Etcdserver.Etcdserverpb.Rpc.ResponseHeader@
+    * 'Proto.Etcd.Etcdserver.Api.V3lock.V3lockpb.V3lock_Fields.maybe'header' @:: Lens' UnlockResponse
+  (Prelude.Maybe
+     Proto.Etcd.Etcdserver.Etcdserverpb.Rpc.ResponseHeader)@
+ -}
+data UnlockResponse = UnlockResponse{_UnlockResponse'header ::
+                                     !(Prelude.Maybe
+                                         Proto.Etcd.Etcdserver.Etcdserverpb.Rpc.ResponseHeader),
+                                     _UnlockResponse'_unknownFields :: !Data.ProtoLens.FieldSet}
+                        deriving (Prelude.Show, Prelude.Eq, Prelude.Ord)
+instance (Lens.Labels.HasLens' f UnlockResponse x a, a ~ b) =>
+         Lens.Labels.HasLens f UnlockResponse UnlockResponse x a b
+         where
+        lensOf = Lens.Labels.lensOf'
+instance Prelude.Functor f =>
+         Lens.Labels.HasLens' f UnlockResponse "header"
+           (Proto.Etcd.Etcdserver.Etcdserverpb.Rpc.ResponseHeader)
+         where
+        lensOf' _
+          = (Prelude..)
+              (Lens.Family2.Unchecked.lens _UnlockResponse'header
+                 (\ x__ y__ -> x__{_UnlockResponse'header = y__}))
+              (Data.ProtoLens.maybeLens Data.Default.Class.def)
+instance Prelude.Functor f =>
+         Lens.Labels.HasLens' f UnlockResponse "maybe'header"
+           (Prelude.Maybe
+              Proto.Etcd.Etcdserver.Etcdserverpb.Rpc.ResponseHeader)
+         where
+        lensOf' _
+          = (Prelude..)
+              (Lens.Family2.Unchecked.lens _UnlockResponse'header
+                 (\ x__ y__ -> x__{_UnlockResponse'header = y__}))
+              Prelude.id
+instance Data.Default.Class.Default UnlockResponse where
+        def
+          = UnlockResponse{_UnlockResponse'header = Prelude.Nothing,
+                           _UnlockResponse'_unknownFields = ([])}
+instance Data.ProtoLens.Message UnlockResponse where
+        messageName _ = Data.Text.pack "v3lockpb.UnlockResponse"
+        fieldsByTag
+          = let header__field_descriptor
+                  = Data.ProtoLens.FieldDescriptor "header"
+                      (Data.ProtoLens.MessageField Data.ProtoLens.MessageType ::
+                         Data.ProtoLens.FieldTypeDescriptor
+                           Proto.Etcd.Etcdserver.Etcdserverpb.Rpc.ResponseHeader)
+                      (Data.ProtoLens.OptionalField
+                         (Lens.Labels.lensOf
+                            ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'header")))
+                      :: Data.ProtoLens.FieldDescriptor UnlockResponse
+              in
+              Data.Map.fromList
+                [(Data.ProtoLens.Tag 1, header__field_descriptor)]
+        unknownFields
+          = Lens.Family2.Unchecked.lens _UnlockResponse'_unknownFields
+              (\ x__ y__ -> x__{_UnlockResponse'_unknownFields = y__})
+data Lock = Lock{}
+              deriving ()
+instance Data.ProtoLens.Service.Types.Service Lock where
+        type ServiceName Lock = "Lock"
+        type ServicePackage Lock = "v3lockpb"
+        type ServiceMethods Lock = '["lock", "unlock"]
+instance Data.ProtoLens.Service.Types.HasMethodImpl Lock "lock"
+         where
+        type MethodName Lock "lock" = "Lock"
+        type MethodInput Lock "lock" = LockRequest
+        type MethodOutput Lock "lock" = LockResponse
+        type MethodStreamingType Lock "lock" =
+             'Data.ProtoLens.Service.Types.NonStreaming
+instance Data.ProtoLens.Service.Types.HasMethodImpl Lock "unlock"
+         where
+        type MethodName Lock "unlock" = "Unlock"
+        type MethodInput Lock "unlock" = UnlockRequest
+        type MethodOutput Lock "unlock" = UnlockResponse
+        type MethodStreamingType Lock "unlock" =
+             'Data.ProtoLens.Service.Types.NonStreaming
diff --git a/gen/Proto/Etcd/Etcdserver/Api/V3lock/V3lockpb/V3lock_Fields.hs b/gen/Proto/Etcd/Etcdserver/Api/V3lock/V3lockpb/V3lock_Fields.hs
new file mode 100644
--- /dev/null
+++ b/gen/Proto/Etcd/Etcdserver/Api/V3lock/V3lockpb/V3lock_Fields.hs
@@ -0,0 +1,69 @@
+{- This file was auto-generated from etcd/etcdserver/api/v3lock/v3lockpb/v3lock.proto by the proto-lens-protoc program. -}
+{-# LANGUAGE ScopedTypeVariables, DataKinds, TypeFamilies,
+  UndecidableInstances, GeneralizedNewtypeDeriving,
+  MultiParamTypeClasses, FlexibleContexts, FlexibleInstances,
+  PatternSynonyms, MagicHash, NoImplicitPrelude, DataKinds #-}
+{-# OPTIONS_GHC -fno-warn-unused-imports#-}
+{-# OPTIONS_GHC -fno-warn-duplicate-exports#-}
+module Proto.Etcd.Etcdserver.Api.V3lock.V3lockpb.V3lock_Fields
+       where
+import qualified Data.ProtoLens.Reexport.Prelude as Prelude
+import qualified Data.ProtoLens.Reexport.Data.Int as Data.Int
+import qualified Data.ProtoLens.Reexport.Data.Word as Data.Word
+import qualified Data.ProtoLens.Reexport.Data.ProtoLens
+       as Data.ProtoLens
+import qualified
+       Data.ProtoLens.Reexport.Data.ProtoLens.Message.Enum
+       as Data.ProtoLens.Message.Enum
+import qualified
+       Data.ProtoLens.Reexport.Data.ProtoLens.Service.Types
+       as Data.ProtoLens.Service.Types
+import qualified Data.ProtoLens.Reexport.Lens.Family2
+       as Lens.Family2
+import qualified Data.ProtoLens.Reexport.Lens.Family2.Unchecked
+       as Lens.Family2.Unchecked
+import qualified Data.ProtoLens.Reexport.Data.Default.Class
+       as Data.Default.Class
+import qualified Data.ProtoLens.Reexport.Data.Text as Data.Text
+import qualified Data.ProtoLens.Reexport.Data.Map as Data.Map
+import qualified Data.ProtoLens.Reexport.Data.ByteString
+       as Data.ByteString
+import qualified Data.ProtoLens.Reexport.Data.ByteString.Char8
+       as Data.ByteString.Char8
+import qualified Data.ProtoLens.Reexport.Lens.Labels as Lens.Labels
+import qualified Data.ProtoLens.Reexport.Text.Read as Text.Read
+import qualified Proto.Etcd.Etcdserver.Etcdserverpb.Rpc
+import qualified Proto.Gogoproto.Gogo
+import qualified Proto.Google.Api.Annotations
+
+header ::
+       forall f s t a b . (Lens.Labels.HasLens f s t "header" a b) =>
+         Lens.Family2.LensLike f s t a b
+header
+  = Lens.Labels.lensOf
+      ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "header")
+key ::
+    forall f s t a b . (Lens.Labels.HasLens f s t "key" a b) =>
+      Lens.Family2.LensLike f s t a b
+key
+  = Lens.Labels.lensOf
+      ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "key")
+lease ::
+      forall f s t a b . (Lens.Labels.HasLens f s t "lease" a b) =>
+        Lens.Family2.LensLike f s t a b
+lease
+  = Lens.Labels.lensOf
+      ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "lease")
+maybe'header ::
+             forall f s t a b .
+               (Lens.Labels.HasLens f s t "maybe'header" a b) =>
+               Lens.Family2.LensLike f s t a b
+maybe'header
+  = Lens.Labels.lensOf
+      ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "maybe'header")
+name ::
+     forall f s t a b . (Lens.Labels.HasLens f s t "name" a b) =>
+       Lens.Family2.LensLike f s t a b
+name
+  = Lens.Labels.lensOf
+      ((Lens.Labels.proxy#) :: (Lens.Labels.Proxy#) "name")
diff --git a/grpc-api-etcd.cabal b/grpc-api-etcd.cabal
--- a/grpc-api-etcd.cabal
+++ b/grpc-api-etcd.cabal
@@ -2,15 +2,15 @@
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: 0ef0a6065ef7043ec44f1d221d73641ea1fbe3919e52a2898552d6bfd997d67d
+-- hash: 53caca2446f2b19e5a844d7b746e7078498c477a67f170328246eff6071c46b0
 
 name:           grpc-api-etcd
-version:        0.1.0.0
+version:        0.1.0.1
 synopsis:       Generated messages and instances for etcd gRPC.
-description:    Please see the README on GitHub at <https://github.com/lucasdicioccio/grpc-api-etcd#readme>
+description:    Please see the README on GitHub at <https://github.com/lucasdicioccio/etcd-grpc#readme>
 category:       GRPC
-homepage:       https://github.com/lucasdicioccio/grpc-api-etcd#readme
-bug-reports:    https://github.com/lucasdicioccio/grpc-api-etcd/issues
+homepage:       https://github.com/lucasdicioccio/etcd-grpc#readme
+bug-reports:    https://github.com/lucasdicioccio/etcd-grpc/issues
 author:         Lucas DiCioccio
 maintainer:     lucas@dicioccio.fr
 copyright:      2018 Lucas DiCioccio
@@ -24,12 +24,16 @@
 
 source-repository head
   type: git
-  location: https://github.com/lucasdicioccio/grpc-api-etcd
+  location: https://github.com/lucasdicioccio/etcd-grpc
 
 library
   exposed-modules:
       Proto.Etcd.Auth.Authpb.Auth
       Proto.Etcd.Auth.Authpb.Auth_Fields
+      Proto.Etcd.Etcdserver.Api.V3election.V3electionpb.V3election
+      Proto.Etcd.Etcdserver.Api.V3election.V3electionpb.V3election_Fields
+      Proto.Etcd.Etcdserver.Api.V3lock.V3lockpb.V3lock
+      Proto.Etcd.Etcdserver.Api.V3lock.V3lockpb.V3lock_Fields
       Proto.Etcd.Etcdserver.Etcdserverpb.Rpc
       Proto.Etcd.Etcdserver.Etcdserverpb.Rpc_Fields
       Proto.Etcd.Mvcc.Mvccpb.Kv