-- | parse a possibly kinded list of comma separated symbol pairs
symbMapItems :: GenParser Char st SymbMapItems
symbMapItems = do
  ext <- extEntity
  iris <- symbPairs
  return $ SymbMapItems ext iris

-- | parse a comma separated list of uri pairs
symbMapItems :: GenParser Char st SymbMapItems
symbMapItems = do
  ext <- extEntity
  iris <- symbPairs
  return $ SymbMapItems ext iris

-- | parse a comma separated list of uri pairs
symbMapItems = do
  ext <- extEntity
  iris <- symbPairs
  return $ SymbMapItems ext iris

-- | parse a comma separated list of uri pairs