@@ -163,6 +163,12 @@ effect’s definition is given below.
163163 Typically we would also like to support random access files and
164164 better reporting of error conditions.
165165
166+ Moreover, the ``FILE`` effect in the ``Effect.File`` module of
167+ the ``effects`` library uses slightly more complicated types to
168+ support erroneous behaviour of each function and to support more
169+ compilcated modes of opening, like for reading **and** writing,
170+ appending or truncating.
171+
166172.. code-block:: idris
167173
168174 module Effect.File