+ <itemizedlist>
+ <listitem>
+ <para>GHC is a little less strict about the layout rule when used
+ in <literal>do</literal> expressions. Specifically, the
+ restriction that "a nested context must be indented further to
+ the right than the enclosing context" is relaxed to allow the
+ nested context to be at the same level as the enclosing context,
+ if the enclosing context is a <literal>do</literal>
+ expression.</para>
+
+ <para>For example, the following code is accepted by GHC:
+
+<programlisting>
+main = do args <- getArgs
+ if null args then return [] else do
+ ps <- mapM process args
+ mapM print ps</programlisting>
+
+ </para>
+ </listitem>
+