@@ -144,7 +144,7 @@ functions in ``Eff``, as follows:
145**An implementation detail (aside):** The ``call`` function converts
145**An implementation detail (aside):** The ``call`` function converts
146an ``Effect`` to a function in ``Eff``, given a proof that the effect
146an ``Effect`` to a function in ``Eff``, given a proof that the effect
147−is available. This proof can be constructed automatically by , since
147+is available. This proof can be constructed automatically, since
148it is essentially an index into a statically known list of effects:
148it is essentially an index into a statically known list of effects:
150.. code-block:: idris
150.. code-block:: idris