I believe it's fairly standard for module docstrings to be of the form
{-|
Module: Foo.Bar
Description: ...
...
-}
and function docstrings to be of the form
We should allow module docstrings to be different from function docstrings.
Also, as a bonus, it'd be great if the {-| syntax didn't add a space like {- |.