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