+<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.
+</para>