@@ -363,10 +363,10 @@ alternative notion of function application, with explicit calls to
363363 m_add' x y = m_app (m_app (Just (+)) x) y
364364
365365Rather 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
367−``Maybe`` an instance of ``Applicative`` as follows, where ``<*>`` is
368−defined in the same way as ``m_app`` above (this is defined in the
369−Idris library):
366+application, we can use idiom brackets to do the job for us.
367+To do this, we can make ``Maybe`` an instance of ``Applicative``
368+as follows, where ``<*>`` is defined in the same way as ``m_app``
369+above (this is defined in the Idris library):
370370
371371.. code-block:: idris
372372