moduleDecl_0_16 :: IParser Module.Header
moduleDecl_0_16 =
  expecting "a module declaration" $
  do  try (reserved "module")
      preName <- whitespace
      names <- dotSep1 capVar <?> "the name of this module"
      postName <- whitespace
      exports <- option (Var.OpenListing (Commented [] () [])) (listing detailedListing)
      preWhere <- whitespace
      reserved "where"
      return $
        Module.Header
          Module.Normal
          (Commented preName names postName)
          Nothing
          (KeywordCommented preWhere [] exports)
moduleDecl_0_16 :: IParser Module.Header
moduleDecl_0_16 =
  expecting "a module declaration" $
  do  try (reserved "module")
      preName <- whitespace
      names <- dotSep1 capVar <?> "the name of this module"
      postName <- whitespace
      exports <- option (Var.OpenListing (Commented [] () [])) (listing detailedListing)
      preWhere <- whitespace
      reserved "where"
      return $
        Module.Header
          Module.Normal
          (Commented preName names postName)
          Nothing
          (KeywordCommented preWhere [] exports)
moduleDecl_0_16 =
  expecting "a module declaration" $
  do  try (reserved "module")
      preName <- whitespace
      names <- dotSep1 capVar <?> "the name of this module"
      postName <- whitespace
      exports <- option (Var.OpenListing (Commented [] () [])) (listing detailedListing)
      preWhere <- whitespace
      reserved "where"
      return $
        Module.Header
          Module.Normal
          (Commented preName names postName)
          Nothing
          (KeywordCommented preWhere [] exports)