diff --git a/dino.cabal b/dino.cabal
--- a/dino.cabal
+++ b/dino.cabal
@@ -1,5 +1,5 @@
 name:                 dino
-version:              0.1.2
+version:              0.1.3
 synopsis:             A convenient tagless EDSL
 description:          For more information, see the
                       <https://github.com/emilaxelsson/dino/blob/master/README.md README>.
@@ -35,11 +35,11 @@
                         containers < 0.7,
                         exceptions < 0.11,
                         errors < 2.4,
-                        hashable < 1.4,
+                        hashable < 1.5,
                         monad-loops < 0.5,
-                        mtl < 2.3,
-                        text < 1.3,
-                        transformers < 0.6,
+                        mtl < 2.4,
+                        text < 2.1,
+                        transformers < 0.7,
                         tree-view < 0.6,
                         unordered-containers < 0.3
   hs-source-dirs:       src
diff --git a/examples/README.hs b/examples/README.hs
--- a/examples/README.hs
+++ b/examples/README.hs
@@ -87,7 +87,7 @@
 evalSafeDiv
   :: (forall e. (ConstExp e, NumExp e, FracExp e, LogicExp e, CompareExp e) => Exp e a)
   -> Maybe a
-evalSafeDiv = fromSafeDiv . unExp
+evalSafeDiv e = fromSafeDiv (unExp e)
 
 exDiv1 :: (ConstExp e, NumExp e, FracExp e, LogicExp e, CompareExp e) => Exp e Double
 exDiv1 = 1+2/3
diff --git a/src/Dino/Interpretation.hs b/src/Dino/Interpretation.hs
--- a/src/Dino/Interpretation.hs
+++ b/src/Dino/Interpretation.hs
@@ -13,10 +13,11 @@
 import Control.Exception (Exception, throw)
 import Control.Monad (foldM, unless)
 import Control.Monad.Catch (MonadThrow (..))
-import Control.Monad.Except (ExceptT, MonadError (..))
+import Control.Monad.Except (MonadError (..))
 import Control.Monad.Identity (Identity (..))
 import Control.Monad.Loops (dropWhileM)
 import Control.Monad.Reader (MonadReader (..), ReaderT (..))
+import Control.Monad.Trans.Except (ExceptT)
 import Control.Monad.Writer (WriterT)
 import Data.Coerce (coerce)
 import Data.HashMap.Strict (HashMap)