diff --git a/CHANGELOG.markdown b/CHANGELOG.markdown
--- a/CHANGELOG.markdown
+++ b/CHANGELOG.markdown
@@ -1,3 +1,7 @@
+4.15.1
+----
+* Restore the `generic` and `generic1` functions in `GHC.Generics.Lens`
+
 4.15
 ----
 * Remove `Generics.Deriving.Lens` module.
diff --git a/lens.cabal b/lens.cabal
--- a/lens.cabal
+++ b/lens.cabal
@@ -1,6 +1,6 @@
 name:          lens
 category:      Data, Lenses, Generics
-version:       4.15
+version:       4.15.1
 license:       BSD3
 cabal-version: >= 1.8
 license-file:  LICENSE
diff --git a/src/GHC/Generics/Lens.hs b/src/GHC/Generics/Lens.hs
--- a/src/GHC/Generics/Lens.hs
+++ b/src/GHC/Generics/Lens.hs
@@ -30,7 +30,10 @@
 -- package.
 ----------------------------------------------------------------------------
 module GHC.Generics.Lens
-  ( _V1
+  (
+    generic
+  , generic1
+  , _V1
   , _U1
   , _Par1
   , _Rec1
@@ -46,13 +49,31 @@
   , _UWord
   ) where
 
-import Control.Lens
-import GHC.Exts (Char(..), Double(..), Float(..), Int(..), Ptr(..), Word(..))
-import GHC.Generics
+import           Control.Lens
+import           GHC.Exts (Char(..), Double(..), Float(..),
+                           Int(..), Ptr(..), Word(..))
+import qualified GHC.Generics as Generic
+import           GHC.Generics hiding (from, to)
 
 #if !(MIN_VERSION_base(4,9,0))
-import Generics.Deriving.Base
+import           Generics.Deriving.Base hiding (from, to)
 #endif
+
+-- $setup
+-- >>> :set -XNoOverloadedStrings
+
+-- | Convert from the data type to its representation (or back)
+--
+-- >>> "hello"^.generic.from generic :: String
+-- "hello"
+generic :: Generic a => Iso' a (Rep a b)
+generic = iso Generic.from Generic.to
+{-# INLINE generic #-}
+
+-- | Convert from the data type to its representation (or back)
+generic1 :: Generic1 f => Iso' (f a) (Rep1 f a)
+generic1 = iso from1 to1
+{-# INLINE generic1 #-}
 
 _V1 :: Over p f (V1 s) (V1 t) a b
 _V1 _ = absurd where