From b7375a048f66ff7c11605676c52331417909e425 Mon Sep 17 00:00:00 2001
From: Michael Snoyman <michael@snoyman.com>
Date: Thu, 26 Oct 2017 05:38:09 +0200
Subject: [PATCH] A few more slide improvements

---
 reveal/monad-transformer-state.md | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/reveal/monad-transformer-state.md b/reveal/monad-transformer-state.md
index b46552d..f73461d 100644
--- a/reveal/monad-transformer-state.md
+++ b/reveal/monad-transformer-state.md
@@ -345,11 +345,14 @@ catchS (StateT f) onErr = StateT $ \s ->
   f s `catch` (flip runStateT s . onErr)
 ```
 
+No updated state is available from main action, since an exception was
+thrown. This is safe!
+
 ----
 
 ## Finally a problem
 
-Loses state updates from g:
+Loses state updates in `g`:
 
 ```haskell
 finallyS (StateT f) (StateT g) = StateT $ \s ->