@@ -173,6 +173,15 @@ Statements can have the following form:
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.
176+The example ``evenSum`` desugars to::
182+ isEven sum >>= \_ ->
176Binders can be used on the left hand side of ``<-`` or ``=``. For example::
185Binders can be used on the left hand side of ``<-`` or ``=``. For example::
178 test arr = do
187 test arr = do