@@ -48,7 +48,7 @@ express this as follows:
4848 readInt = do let x = trim !getStr
4949 putM (cast x :: !get)
5050
51−The notation ``{ xs ==> xs’ } Eff a`` in a type means that the operation
51+The type ``Eff a xs xs'`` means that the operation
5252begins with effects ``xs`` available, and ends with effects ``xs’``
5353available. We have used ``putM`` to update the state, where the ``M``
5454suffix indicates that the *type* is being updated as well as the value.