diff --git a/bench/Main.hs b/bench/Main.hs
--- a/bench/Main.hs
+++ b/bench/Main.hs
@@ -1,10 +1,12 @@
 import Control.Varying
 import Control.Monad
+import Control.Applicative
+import Data.Functor.Identity
 import Criterion.Main
 
 main :: IO ()
 main = do
-    let run v a = fst <$> runVarT v a
+    let run v a = runIdentity (fst <$> runVarT v a)
     defaultMain $ [ bgroup "runVarT" [ bench "1" $ nf (run $ chain 1) 0
                                      , bench "2" $ nf (run $ chain 2) 0
                                      , bench "4" $ nf (run $ chain 4) 0
diff --git a/varying.cabal b/varying.cabal
--- a/varying.cabal
+++ b/varying.cabal
@@ -10,7 +10,7 @@
 -- PVP summary:      +-+------- breaking API changes
 --                   | | +----- non-breaking API additions
 --                   | | | +--- code changes with no API change
-version:             0.5.0.2
+version:             0.5.0.3
 
 -- A short (one-line) description of the package.
 synopsis:            FRP through value streams and monadic splines.