diff --git a/part2.html b/part2.html
index 34946f9..f5b5b34 100644
--- a/part2.html
+++ b/part2.html
@@ -3194,9 +3194,9 @@ this topic connects to equational reasoning discussed in chapter 10.
remember :: a -> State [a] ()
remember x = modify (x:)
-valuesAfterZero :: [Int] -> [Int]
+valuesAfterZero :: [Int] -> ((),[Int])
valuesAfterZero xs = runState (go xs) []
- where go :: [a] -> State [a] ()
+ where go :: [Int] -> State [Int] ()
go (0:y:xs) = do remember y
go (y:xs)
go (x:xs) = go xs