module  →       module modid [exports] where body
               |       body
       body    →       { impdecls ; topdecls }
               |       { impdecls }
               |       { topdecls }

You can't see it in this mail because there is no font but
the curly braces { } are meant to match the tokens { } and are not
meant as repetition. However, as I understand it, the layout parser
would modify this code:

       module Foo where
       import Bar
       baz=baz

to this code (which doesn't match):

       module Foo where { import Bar ; baz=baz }

and not to this code (which would be required to match):

       module Foo where { { import Bar } ; { baz=baz } }

2)
In the same section what is it supposed to mean if "module" consists
of only a "body" and not "module modid [exports] where body".