</para>
<para>
-The MonadFix library introduces the <literal>MonadFix</literal> class. It's definition is:
+The Control.Monad.Fix library introduces the <literal>MonadFix</literal> class. It's definition is:
</para>
<programlisting>
class Monad m => MonadFix m where
<listitem><para>
If you want to declare an instance of the <literal>MonadFix</literal> class for one of
-your own monads, or you need to refer to the class name <literal>MonadFix</literal> in any other way (for instance in
-writing a type constraint), then your program should <literal>import Control.Monad.MonadFix</literal>.
+your own monads, or you need to refer to the class name <literal>MonadFix</literal> in any other way (for
+instance when writing a type constraint), then your program should
+<literal>import Control.Monad.MonadFix</literal>.
Otherwise, you don't need to import any special libraries to use the mdo-notation. That is,
as long as you only use the predefined instances mentioned above, the mdo-notation will
-be automatically available. (Note: This differs from the Hugs implementation, where
-<literal>MonadFix</literal> should always be imported.) To be on the safe side, of course, you can
-simply import it in all cases.
+be automatically available.
+To be on the safe side, of course, you can simply import it in all cases.
</para></listitem>
<listitem><para>
</para>
<para>
-Historical note: The originial implementation of the mdo-notation, and most
-of the existing documents, use the names
-<literal>MonadRec</literal> for the class, and
-<literal>Control.Monad.MonadRec</literal> for the library. These names
-are no longer supported.
+Historical note: The old implementation of the mdo-notation (and most
+of the existing documents) used the name
+<literal>MonadRec</literal> for the class and the corresponding library.
+This name is no longer supported.
</para>
<para>