@@ -363,10 +363,10 @@ alternative notion of function application, with explicit calls to
363 m_add' x y = m_app (m_app (Just (+)) x) y
363 m_add' x y = m_app (m_app (Just (+)) x) y
365Rather than having to insert ``m_app`` everywhere there is an
365Rather than having to insert ``m_app`` everywhere there is an
366−application, we can use to do the job for us. To do this, we can make
366+application, we can use idiom brackets to do the job for us.
367−``Maybe`` an instance of ``Applicative`` as follows, where ``<*>`` is
367+To do this, we can make ``Maybe`` an instance of ``Applicative``
368−defined in the same way as ``m_app`` above (this is defined in the
368+as follows, where ``<*>`` is defined in the same way as ``m_app``
369−Idris library):
369+above (this is defined in the Idris library):
371.. code-block:: idris
371.. code-block:: idris