diff --git a/effect-handlers.cabal b/effect-handlers.cabal
--- a/effect-handlers.cabal
+++ b/effect-handlers.cabal
@@ -1,5 +1,5 @@
 name:                effect-handlers
-version:             0.1.0.7
+version:             0.1.0.8
 synopsis:            A library for writing extensible algebraic effects and handlers. Similar to extensible-effects but with deep handlers.
 homepage:            https://github.com/edofic/effect-handlers
 bug-reports:         https://github.com/edofic/effect-handlers/issues
@@ -100,6 +100,8 @@
   default-language:    Haskell2010
   hs-source-dirs:      bench, test
   main-is:             TestBench.hs
+  other-modules:       Examples.Combined
+                       Examples.Reader
   build-depends:       base >=4.7 && <5
                      , effect-handlers
                      , criterion >= 1.0 && <2
diff --git a/test/Examples/Combined.hs b/test/Examples/Combined.hs
new file mode 100644
--- /dev/null
+++ b/test/Examples/Combined.hs
@@ -0,0 +1,35 @@
+module Examples.Combined where
+
+import Control.Effects.Eff
+import Control.Effects.Exception
+import Control.Effects.Reader
+import Control.Effects.Search
+
+import Control.Monad
+
+testPrg = do
+  v <- ask
+  x <- choose [1..(v :: Int)]
+  when (x < 5) $ searchFail (T :: T Int)
+  y <- choose [3,4]
+  let d = x - y
+  if d == 0
+  then throw $ "division by zero"
+  else return ((fromIntegral v) / (fromIntegral d))
+
+
+testPrgRun n = runPure 
+                 . handle exceptionHandler 
+                 . handle (handleDFS :: Handler (Search Int) r a [a])
+                 . handle (readerHandler n)
+
+testPrgRes :: Int -> Either String [Float]
+testPrgRes n = testPrgRun n testPrg
+
+testPrgRun2 n = runPure 
+                 . handle (handleDFS :: Handler (Search Int) r a [a])
+                 . handle exceptionHandler 
+                 . handle (readerHandler n) 
+
+testPrgRes2 :: Int -> [Either String Float]
+testPrgRes2 n = testPrgRun2 n testPrg
diff --git a/test/Examples/Reader.hs b/test/Examples/Reader.hs
new file mode 100644
--- /dev/null
+++ b/test/Examples/Reader.hs
@@ -0,0 +1,12 @@
+module Examples.Reader where
+
+import Control.Effects.Eff
+import Control.Effects.Reader
+import Control.Effects.Exception
+
+prg1 =  ask
+
+prg1run x = runPure . handle (readerHandler x)
+
+prg1res :: Int -> Int
+prg1res x = prg1run x prg1