==================== Parser ====================
module Hi where
<document comment>
data Hi
  where
    -- | This is a GADT constructor.
    Hi :: () -> Hi