@@ -129,8 +129,8 @@ features, but for our purposes, it suffices to know the following:
130- ``x <- e`` binds the result of an effectful operation ``e`` to a
130- ``x <- e`` binds the result of an effectful operation ``e`` to a
131 variable ``x``. For example, in the above code, ``treeTagAux l`` is
131 variable ``x``. For example, in the above code, ``treeTagAux l`` is
132− an effectful operation returning a pair ``(Int, BTree a)``, so
132+ an effectful operation returning ``BTree (Int, a)``, so ``l’`` has
133− ``l’`` has type ``(Int, BTree a)``.
133+ type ``BTree (Int, a)``.
135- ``pure e`` turns a pure value ``e`` into the result of an effectful
135- ``pure e`` turns a pure value ``e`` into the result of an effectful
136 operation.
136 operation.