diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,7 @@
+- 0.1.3
+    - Support `generics-sop-0.5`
+    - Add `strictnessInfo` traversal
+
 - 0.1.2.1
     - Fix to work with `generics-sop-0.2.3.0`
 
diff --git a/generics-sop-lens.cabal b/generics-sop-lens.cabal
--- a/generics-sop-lens.cabal
+++ b/generics-sop-lens.cabal
@@ -1,19 +1,21 @@
--- This file has been generated from package.yaml by hpack version 0.14.1.
---
--- see: https://github.com/sol/hpack
-
 name:           generics-sop-lens
-version:        0.1.2.1
+version:        0.1.3
 synopsis:       Lenses for types in generics-sop
 description:    Lenses for types in generics-sop package
-category:       Web
+category:       Generics, Data
 homepage:       https://github.com/phadej/generics-sop-lens#readme
 bug-reports:    https://github.com/phadej/generics-sop-lens/issues
 author:         Oleg Grenrus <oleg.grenrus@iki.fi>
 maintainer:     Oleg Grenrus <oleg.grenrus@iki.fi>
 license:        BSD3
 license-file:   LICENSE
-tested-with:    GHC==7.8.4, GHC==7.10.3, GHC==8.0.1
+tested-with:
+  GHC==7.8.4,
+  GHC==7.10.3,
+  GHC==8.0.2,
+  GHC==8.2.2,
+  GHC==8.4.4,
+  GHC==8.6.5
 build-type:     Simple
 cabal-version:  >= 1.10
 
@@ -30,9 +32,9 @@
       src
   ghc-options: -Wall
   build-depends:
-      base                  >=4.7      && <4.10
-    , generics-sop          >=0.1      && <0.3
-    , lens                  >=4.7      && <4.16
+      base                  >=4.7      && <4.13
+    , generics-sop          >=0.2      && <0.6
+    , lens                  >=4.7      && <4.18
   exposed-modules:
       Generics.SOP.Lens
   default-language: Haskell2010
diff --git a/src/Generics/SOP/Lens.hs b/src/Generics/SOP/Lens.hs
--- a/src/Generics/SOP/Lens.hs
+++ b/src/Generics/SOP/Lens.hs
@@ -41,12 +41,19 @@
     Generics.SOP.Lens.datatypeName,
     Generics.SOP.Lens.constructorInfo,
     Generics.SOP.Lens.constructorName,
+#if MIN_VERSION_generics_sop(0,5,0)
+    Generics.SOP.Lens.strictnessInfo,
+#endif
     ) where
 
 import Control.Lens
 import Generics.SOP hiding (from)
 import qualified Generics.SOP as SOP
 
+#if MIN_VERSION_generics_sop(0,5,0)
+import Generics.SOP.Metadata
+#endif
+
 rep :: Generic a => Iso' a (Rep a)
 rep = iso SOP.from SOP.to
 
@@ -233,33 +240,57 @@
 moduleName = lens g s
   where
     g :: DatatypeInfo xss -> ModuleName
+#if MIN_VERSION_generics_sop(0,5,0)
+    g (ADT m _ _ _)   = m
+#else
     g (ADT m _ _)     = m
+#endif
     g (Newtype m _ _) = m
 
     s :: DatatypeInfo xss -> ModuleName -> DatatypeInfo xss
+#if MIN_VERSION_generics_sop(0,5,0)
+    s (ADT _ n cs ss) m = ADT m n cs ss
+#else
     s (ADT _ n cs)    m = ADT m n cs
+#endif
     s (Newtype _ n c) m = Newtype m n c
 
 datatypeName :: Lens' (DatatypeInfo xss) DatatypeName
 datatypeName = lens g s
   where
     g :: DatatypeInfo xss -> DatatypeName
+#if MIN_VERSION_generics_sop(0,5,0)
+    g (ADT _ n _ _)   = n
+#else
     g (ADT _ n _)     = n
+#endif
     g (Newtype _ n _) = n
 
     s :: DatatypeInfo xss -> DatatypeName -> DatatypeInfo xss
+#if MIN_VERSION_generics_sop(0,5,0)
+    s (ADT m _ cs ss) n = ADT m n cs ss
+#else
     s (ADT m _ cs)    n = ADT m n cs
+#endif
     s (Newtype m _ c) n = Newtype m n c
 
 constructorInfo :: Lens' (DatatypeInfo xss) (NP ConstructorInfo xss)
 constructorInfo = lens g s
   where
     g :: DatatypeInfo xss -> NP ConstructorInfo xss
+#if MIN_VERSION_generics_sop(0,5,0)
+    g (ADT _ _ cs _)  = cs
+#else
     g (ADT _ _ cs)    = cs
+#endif
     g (Newtype _ _ c) = c :* Nil
 
     s :: DatatypeInfo xss -> NP ConstructorInfo xss -> DatatypeInfo xss
+#if MIN_VERSION_generics_sop(0,5,0)
+    s (ADT m n _ ss)  cs          = ADT m n cs ss
+#else
     s (ADT m n _)     cs          = ADT m n cs
+#endif
     s (Newtype m n _) (c :* Nil)  = Newtype m n c
 #if __GLASGOW_HASKELL__ < 800
     s _ _ = error "constructorInfo set: impossible happened"
@@ -271,3 +302,10 @@
 constructorName f (Constructor n      ) = (\ n' -> Constructor n'      ) `fmap` f n
 constructorName f (Infix       n a fix) = (\ n' -> Infix       n' a fix) `fmap` f n
 constructorName f (Record      n finfo) = (\ n' -> Record      n' finfo) `fmap` f n
+
+#if MIN_VERSION_generics_sop(0,5,0)
+-- | Strictness info is only aviable for 'ADT' data. This combinator is available only with @generics-sop@ 0.5 or later.
+strictnessInfo :: Traversal' (DatatypeInfo xss) (POP StrictnessInfo xss)
+strictnessInfo _ di@(Newtype {}) = pure di
+strictnessInfo f (ADT m n cs ss) = ADT m n cs <$> f ss
+#endif