diff --git a/Control/Lens.hs b/Control/Lens.hs
--- a/Control/Lens.hs
+++ b/Control/Lens.hs
@@ -1,16 +1,20 @@
 module Control.Lens (Lens, Traversal, Iso,
                      lens, iso,
                      get, set, modify, mapping,
+                     foldMapOf, foldOf, toListOf, foldrOf, foldlOf, mapAccumLOf, mapAccumROf,
                      fstL, sndL, swapL, unitL, bitL) where
 
 import Prelude hiding (id)
 
 import Control.Applicative
+import Control.Applicative.Backwards (Backwards (..))
 import Control.Category
 import Control.Category.Unicode
+import Control.Monad.Trans.State (State, state, runState)
 import Data.Bits (Bits (..))
 import Data.Bool (bool)
 import Data.Functor.Identity
+import Data.Monoid (Dual (..), Endo (..))
 import Data.Profunctor
 import Data.Tuple (swap)
 
@@ -46,6 +50,32 @@
 data Xchg a b α β = Xchg (α -> a) (b -> β) deriving (Functor)
 
 instance Profunctor (Xchg a b) where dimap f g (Xchg φ χ) = Xchg (φ ∘ f) (g ∘ χ)
+
+foldOf :: Monoid a => Getting a α β a b -> α -> a
+foldOf l = getConst ∘ l Const
+
+foldMapOf :: Monoid c => Getting c α β a b -> (a -> c) -> α -> c
+foldMapOf l f = getConst ∘ l (Const ∘ f)
+
+toListOf :: Getting (Endo [a]) α β a b -> α -> [a]
+toListOf l = flip appEndo [] ∘ getConst ∘ l (Const ∘ Endo ∘ (:))
+
+foldrOf :: Getting (Endo c) α β a b -> (a -> c -> c) -> c -> α -> c
+foldrOf l f z₀ = flip appEndo z₀ ∘ getConst ∘ l (Const ∘ Endo ∘ f)
+
+foldlOf :: Getting (Dual (Endo c)) α β a b -> (c -> a -> c) -> c -> α -> c
+foldlOf l f z₀ = flip appEndo z₀ ∘ getDual ∘ getConst ∘ l (Const ∘ Dual ∘ Endo ∘ flip f)
+
+-- foldMapAccumOf :: Monoid c => ((a -> (c, b)) -> α -> (c, β)) -> (a -> (c, b)) -> α -> (c, β)
+-- foldMapAccumOf = id
+
+mapAccumROf :: ((a -> State c b) -> α -> State c β) -> (a -> c -> (c, b)) -> c -> α -> (c, β)
+mapAccumROf l f z₀ = swap ∘ flip runState z₀ ∘ l (state ∘ (swap ∘) ∘ f)
+
+mapAccumLOf :: ((a -> Backwards (State c) b) -> α -> Backwards (State c) β) -> (c -> a -> (c, b)) -> c -> α -> (c, β)
+mapAccumLOf l f z₀ = swap ∘ flip runState z₀ ∘ forwards ∘ l (Backwards ∘ state ∘ (swap ∘) ∘ flip f)
+
+type Getting r α β a b = (a -> Const r b) -> α -> Const r β
 
 fstL :: Lens (a, c) (b, c) a b
 fstL = swapL ∘ sndL
diff --git a/Setup.hs b/Setup.hs
deleted file mode 100644
--- a/Setup.hs
+++ /dev/null
@@ -1,2 +0,0 @@
-import Distribution.Simple
-main = defaultMain
diff --git a/lenz.cabal b/lenz.cabal
--- a/lenz.cabal
+++ b/lenz.cabal
@@ -1,5 +1,5 @@
 name:           lenz
-version:        0.3.0.0
+version:        0.3.1.0
 synopsis:       Van Laarhoven lenses
 license:        BSD3
 author:	        M Farkas-Dyck
@@ -8,9 +8,8 @@
 category:       Data, Lenses
 build-type:     Simple
 cabal-version:  >=1.6
-tested-with:    GHC ==7.10.*,
-                GHC ==7.12.*,
-                GHC ==8.0.*
+tested-with:    GHC ==8.4.3
+              , GHC ==8.6.4
 
 library
   exposed-modules:      Control.Lens