==================== Parser ====================
module Hi where
data Hi
  where
    Hi :: () " This is a comment on the '()' field of 'Hi'"
          -> Int
             -> String " This is a comment on the 'String' field of 'Hi'"
                -> Hi " This is a comment on the return type of 'Hi'"