diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,7 @@
+# 0.2.1.0
+
+* Bumped `base` version.
+
 # 0.2.0.0
 
 * `createClass` was removed because it doesn't seem to be useful without `lensClass`.
diff --git a/microlens-th.cabal b/microlens-th.cabal
--- a/microlens-th.cabal
+++ b/microlens-th.cabal
@@ -1,5 +1,5 @@
 name:                microlens-th
-version:             0.2.0.0
+version:             0.2.1.0
 synopsis:            Automatic generation of record lenses for microlens
 description:
   This package lets you automatically generate lenses for data types; code
@@ -31,10 +31,11 @@
   exposed-modules:     Lens.Micro.TH
   -- other-modules:       
   -- other-extensions:    
-  build-depends:       base >=4.4 && <5
-                     , microlens ==0.1.*
-                     , containers >=0.4
-                     , template-haskell >=2.7
+  build-depends:       base >=4.5 && <5
+                     , microlens >=0.1 && <0.3
+                     , containers >=0.4.0 && <0.6
+                     -- lens has >=2.4, but GHC 7.4 shipped with 2.7
+                     , template-haskell >=2.7 && <2.11
 
   if flag(inlining)
     cpp-options: -DINLINING
diff --git a/src/Lens/Micro/TH.hs b/src/Lens/Micro/TH.hs
--- a/src/Lens/Micro/TH.hs
+++ b/src/Lens/Micro/TH.hs
@@ -70,13 +70,13 @@
 -- Lens functions which would've been in Lens.Micro if it wasn't “micro”
 
 elemOf :: Eq a => Getting (Endo [a]) s a -> a -> s -> Bool
-elemOf l x = elem x . toListOf l
+elemOf l x s = elem x (s ^.. l)
 
 lengthOf :: Getting (Endo [a]) s a -> s -> Int
-lengthOf l = length . toListOf l
+lengthOf l s = length (s ^.. l)
 
 setOf :: Ord a => Getting (Endo [a]) s a -> s -> Set a
-setOf l = Set.fromList . toListOf l
+setOf l s = Set.fromList (s ^.. l)
 
 _ForallT :: Traversal' Type ([TyVarBndr], Cxt, Type)
 _ForallT f (ForallT a b c) = (\(x, y, z) -> ForallT x y z) <$> f (a, b, c)
@@ -600,7 +600,7 @@
     makeFieldOpticsForDec' rules tyName (tyName `conAppsT` args) [con]
   _ -> fail "makeFieldOptics: Expected data or newtype type-constructor"
   where
-  mkS tyName vars = tyName `conAppsT` map VarT (toListOf typeVars vars)
+  mkS tyName vars = tyName `conAppsT` map VarT (vars ^.. typeVars)
 
 
 -- Compute the field optics for a deconstructed Dec
@@ -608,7 +608,7 @@
 makeFieldOpticsForDec' :: LensRules -> Name -> Type -> [Con] -> DecsQ
 makeFieldOpticsForDec' rules tyName s cons =
   do fieldCons <- traverse normalizeConstructor cons
-     let allFields  = toListOf (folded . _2 . folded . _1 . folded) fieldCons
+     let allFields  = fieldCons ^.. folded._2.folded._1.folded
      let defCons    = over normFieldLabels (expandName allFields) fieldCons
          allDefs    = setOf (normFieldLabels . folded) defCons
      perDef <- sequenceA (fromSet (buildScaffold rules s defCons) allDefs)