{-|
Copyright: Foo,
           Bar,
           Baz

The module description
-}
-- The module header can start with newlines. They are not taken into account for the indentation level
module Bug280 where

x = ""