diff --git a/Haskintex.hs b/Haskintex.hs
--- a/Haskintex.hs
+++ b/Haskintex.hs
@@ -265,7 +265,7 @@
            -> Haskintex Text
 memoreduce modName isMemo t ty f = do
   let e = unpack t
-  outputStr $ "Evaluation (" ++ showsTypeRep (typeRep $ Just t) "" ++ "): " ++ e
+  outputStr $ "Evaluation (" ++ showsTypeRep (typeRep $ Just ty) "" ++ "): " ++ e
   memt <- memoTree <$> get
   let p = if isMemo then M.lookup t memt else Nothing
   case p of
diff --git a/examples/memo.htex b/examples/memo.htex
new file mode 100644
--- /dev/null
+++ b/examples/memo.htex
@@ -0,0 +1,17 @@
+\documentclass{article}
+\begin{document}
+\begin{writehaskell}
+minNumber :: Integer
+minNumber = 1
+
+maxNumber :: Integer
+maxNumber = 10000000
+\end{writehaskell}
+The teacher asked the student:
+``What is the result of suming all the numbers from \evalhaskell{minNumber} to \evalhaskell{maxNumber}''.
+After a few seconds thinking about it, the student gave an answer.
+\begin{itemize}
+\item[-] The result is \evalhaskell[memo]{sum [minNumber .. maxNumber]}.
+\item[-] That is correct! The result is \evalhaskell[memo]{sum [minNumber .. maxNumber]}.
+\end{itemize}
+\end{document}
diff --git a/haskintex.cabal b/haskintex.cabal
--- a/haskintex.cabal
+++ b/haskintex.cabal
@@ -1,5 +1,5 @@
 name:                haskintex
-version:             0.5.0.0
+version:             0.5.0.1
 synopsis:            Haskell Evaluation inside of LaTeX code.
 description:
   The /haskintex/ (Haskell in LaTeX) program is a tool that reads a LaTeX file and evaluates Haskell expressions contained
@@ -25,6 +25,7 @@
                      examples/pragmas.htex
                      examples/string.htex
                      examples/threaded.htex
+                     examples/memo.htex
 cabal-version:       >=1.10
 
 executable haskintex