@@ -169,7 +169,7 @@ When using ``do`` notation, the corresponding type constructor must be an instan
170Statements can have the following form:
170Statements can have the following form:
172−- ``a <- x`` which desugars to ``x >>= \a -> ...` `
172+- ``a <- x`` which desugars to ``x >>= \a -> ...``
173- ``x`` which desugars to ``x >>= \_ -> ...`` or just ``x`` if this is the last statement.
173- ``x`` which desugars to ``x >>= \_ -> ...`` or just ``x`` if this is the last statement.
174- A let binding ``let a = x`` where ``a`` can be either a name or a binder. Note the lack of the ``in`` keyword.
174- A let binding ``let a = x`` where ``a`` can be either a name or a binder. Note the lack of the ``in`` keyword.