diff --git a/LICENSE b/LICENSE
new file mode 100644
--- /dev/null
+++ b/LICENSE
@@ -0,0 +1,30 @@
+Copyright (c) 2020 Oleg Grenrus
+
+All rights reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions are met:
+
+    * Redistributions of source code must retain the above copyright
+      notice, this list of conditions and the following disclaimer.
+
+    * Redistributions in binary form must reproduce the above
+      copyright notice, this list of conditions and the following
+      disclaimer in the documentation and/or other materials provided
+      with the distribution.
+
+    * Neither the name of Oleg Grenrus nor the names of other
+      contributors may be used to endorse or promote products derived
+      from this software without specific prior written permission.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
+OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
+LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
diff --git a/example/Example.hs b/example/Example.hs
new file mode 100644
--- /dev/null
+++ b/example/Example.hs
@@ -0,0 +1,65 @@
+{-# LANGUAGE DataKinds             #-}
+{-# LANGUAGE DeriveGeneric         #-}
+{-# LANGUAGE FlexibleContexts      #-}
+{-# LANGUAGE FlexibleInstances     #-}
+{-# LANGUAGE MultiParamTypeClasses #-}
+{-# LANGUAGE OverloadedLabels      #-}
+{-# LANGUAGE ScopedTypeVariables   #-}
+{-# LANGUAGE TypeApplications      #-}
+{-# LANGUAGE TypeFamilies          #-}
+{-# LANGUAGE UndecidableInstances  #-}
+{-# OPTIONS_GHC -funfolding-keeness-factor=100 #-}
+module Main (module Main) where
+
+import Data.Generics.Optics.Lite (HasField, field)
+import GHC.Generics              (Generic)
+import Optics.Core               (A_Lens, LabelOptic (..), Lens')
+
+main :: IO ()
+main = return ()
+
+-------------------------------------------------------------------------------
+-- Big record
+-------------------------------------------------------------------------------
+
+data Ex = Ex
+    { exA :: Int
+    , exB :: Bool
+    , ex0 :: Char
+    , ex1 :: Char
+    , ex2 :: Char
+    , ex3 :: Char
+    , ex4 :: Char
+    , ex5 :: Char
+    , ex6 :: Char
+    , ex7 :: Char
+    , ex8 :: Char
+    , ex9 :: Char
+    } deriving (Generic)
+
+instance (HasField name Ex a, a ~ b) => LabelOptic name A_Lens Ex Ex a b where
+    labelOptic = field @name
+
+_exA :: Lens' Ex Int
+_exA = field @"exA"
+
+_exA' :: Lens' Ex Int
+_exA' = #exA
+
+_exB :: Lens' Ex Bool
+_exB = field @"exB"
+
+_ex4 :: Lens' Ex Char
+_ex4 = field @"ex4"
+
+-------------------------------------------------------------------------------
+-- Sum of records
+-------------------------------------------------------------------------------
+
+data Ex2
+    = Ex2A { exC :: Char }
+    | Ex2B { exC :: Char }
+  deriving (Generic)
+
+_exC :: Lens' Ex2 Char
+_exC = field @"exC"
diff --git a/generic-optics-lite.cabal b/generic-optics-lite.cabal
new file mode 100644
--- /dev/null
+++ b/generic-optics-lite.cabal
@@ -0,0 +1,57 @@
+cabal-version: 2.2
+name:          generic-optics-lite
+version:       0.1
+synopsis:      Monomorphic field opics like with generic-lens
+category:      Lens, Optics, Generics
+description:
+  Derivation of (monomorphic, i.e. not type-changing) lens, like generic-lens.
+  .
+  The package have minimal dependencies and minimal API:
+  .
+  @
+  class HasField (name :: Symbol) r a | name r -> a
+  field :: HasField name r a => Lens' r a
+  @
+
+homepage:      https://github.com/phadej/generic-lens-lite
+license:       BSD-3-Clause
+license-file:  LICENSE
+author:        Edward Kmett, Csongor Kiss, Oleg Grenrus
+maintainer:    Oleg Grenrus <oleg.grenrus@iki.fi>
+copyright:     Copyright (c) 2019 Edward Kmett, 2020 Oleg Grenrus
+build-type:    Simple
+tested-with:   GHC ==8.0.2 || ==8.2.2 || ==8.4.4 || ==8.6.5 || ==8.8.1
+
+source-repository head
+  type:     git
+  location: https://github.com/phadej/generic-lens-lite
+  subdir:   generic-optics-lite
+
+library
+  default-language: Haskell2010
+  hs-source-dirs:   src
+  ghc-options:      -Wall
+  exposed-modules:  Data.Generics.Optics.Lite
+  build-depends:
+    , base               >=4.9 && <4.14
+    , generic-lens-lite  >=0.1 && <0.1.1
+    , optics-core        ^>=0.2
+
+  if impl(ghc >=8.4)
+    ghc-options:
+      -Wincomplete-uni-patterns -Wincomplete-record-updates
+      -Wredundant-constraints -Widentities -Wmissing-export-lists
+
+test-suite example
+  type:             exitcode-stdio-1.0
+  default-language: Haskell2010
+  hs-source-dirs:   example
+  main-is:          Example.hs
+  ghc-options:      -Wall
+  build-depends:
+    , base
+    , generic-optics-lite
+    , optics-core
+
+--  build-depends:    dump-core
+--  ghc-options:      -fplugin=DumpCore
diff --git a/src/Data/Generics/Optics/Lite.hs b/src/Data/Generics/Optics/Lite.hs
new file mode 100644
--- /dev/null
+++ b/src/Data/Generics/Optics/Lite.hs
@@ -0,0 +1,65 @@
+{-# LANGUAGE AllowAmbiguousTypes #-}
+{-# LANGUAGE DataKinds           #-}
+{-# LANGUAGE KindSignatures      #-}
+{-# LANGUAGE RankNTypes          #-}
+{-# LANGUAGE ScopedTypeVariables #-}
+{-# LANGUAGE TypeApplications    #-}
+-- | Derive record field lenses generically.
+--
+-- == Usage with labels in "Optics.Label"
+--
+-- "Optics.Label" provides 'Optics.Label.LabelOptic' class which powers
+-- the @OverloadedLabels@ instance for optics type.
+--
+-- It's possible to use 'L.HasField' and 'field' to derive instances
+-- generically. If we have a simple record type which has 'GHC.Generics.Generic'
+-- instance:
+--
+-- @
+-- data Ex = Ex { exA :: Int, exB :: Char } deriving (Generic)
+-- @
+--
+-- We can derive 'Optics.Label.LabelOptic' instances for all its fields
+-- at once:
+--
+-- @
+-- instance ('HasField' name Ex a, a ~ b) => LabelOptic name A_Lens Ex Ex a b where
+--     labelOptic = 'field' @name
+-- @
+--
+-- /Note:/ GHC will ask you to enable a lot of extensions, do it.
+-- Youn need to enable @UndecidableInstances@ in particular to make
+-- @FunctionalDependencies@ check pass.
+--
+module Data.Generics.Optics.Lite (
+    field,
+    L.HasField,
+    ) where
+
+import Data.Kind    (Type)
+import GHC.TypeLits (Symbol)
+import Optics.Core  (Lens', lensVL)
+
+import qualified Data.Generics.Lens.Lite as L
+
+-------------------------------------------------------------------------------
+-- Public API
+-------------------------------------------------------------------------------
+
+
+-- | A lens that focuses on a field with a given name.
+-- Compatible with the optics package's 'Optics.Lens.Lens' type.
+--
+-- __Note:__ the lens is /simple/, i.e. doesn't allow type-changing updates.
+-- This keeps the implementation small and quick.
+--
+-- You also may want to specify
+-- @
+-- {-\# OPTIONS_GHC -funfolding-keeness-factor=100 #-} (or some other arbitrarily large number)
+-- @
+-- for GHC to inline more aggressively.
+--
+field
+    :: forall (name :: Symbol) (r :: Type) (a :: Type). L.HasField name r a
+    => Lens' r a
+field = lensVL (L.field @name)