diff --git a/happy.cabal b/happy.cabal
index f0326da6..0363125e 100644
--- a/happy.cabal
+++ b/happy.cabal
@@ -144,7 +144,6 @@ executable happy
                  array,
                  containers >= 0.4.2,
                  mtl >= 2.2.1,
-                 happy-codegen-common == 2.0,
                  happy-grammar == 2.0,
                  happy-tabular == 2.0,
                  happy-frontend == 2.0,
diff --git a/packages/backend-glr/happy-backend-glr.cabal b/packages/backend-glr/happy-backend-glr.cabal
index 7d8552cb..7145d9f3 100644
--- a/packages/backend-glr/happy-backend-glr.cabal
+++ b/packages/backend-glr/happy-backend-glr.cabal
@@ -51,7 +51,6 @@ library
                        Happy.Backend.GLR.ProduceCode
   build-depends:       base < 5,
                        array,
-                       happy-codegen-common == 2.0,
                        happy-grammar == 2.0,
                        happy-tabular == 2.0
 
diff --git a/packages/backend-glr/src/Happy/Backend/GLR/ProduceCode.lhs b/packages/backend-glr/src/Happy/Backend/GLR/ProduceCode.lhs
index 7d56d51b..9cef6e49 100644
--- a/packages/backend-glr/src/Happy/Backend/GLR/ProduceCode.lhs
+++ b/packages/backend-glr/src/Happy/Backend/GLR/ProduceCode.lhs
@@ -18,7 +18,6 @@ This module is designed as an extension to the Haskell parser generator Happy.
 >                       ) where
 
 > import Paths_happy_backend_glr ( version )
-> import Happy.CodeGen.Common.Options
 > import Happy.Grammar
 > import Happy.Tabular.LALR
 > import Data.Array ( Array, (!), array, assocs )
@@ -91,11 +90,11 @@ the driver and data strs (large template).
 >        -> Maybe String  -- User-defined stuff (token DT, lexer etc.)
 >        -> (DebugMode,Options)       -- selecting code-gen style
 >        -> Grammar       -- Happy Grammar
->        -> CommonOptions -- Happy.CodeGen.Common.Options
+>        -> Pragmas       -- Pragmas in the .y-file
 >        -> (String       -- data
 >           ,String)      -- parser
 >
-> produceGLRParser (base, lib) basename tables start header trailer (debug,options) g common_options
+> produceGLRParser (base, lib) basename tables start header trailer (debug,options) g pragmas
 >  = ( content base $ ""
 >    , lib_content lib
 >    )
@@ -144,7 +143,7 @@ Extract the string that comes before the module declaration...
 
 >       return $ before ++ "\n" ++ after
 
->   (sem_def, sem_info) = mkGSemType options g common_options
+>   (sem_def, sem_info) = mkGSemType options g pragmas
 >   table_text = mkTbls tables sem_info (ghcExts_opt) g
 
 >   header_parts = fmap (span (\x -> take 3 (dropWhile isSpace x) == "{-#")
@@ -189,15 +188,15 @@ Extract the string that comes before the module declaration...
 >       . nl
 >       . nl
 
->     . mkGSymbols g common_options .nl
+>     . mkGSymbols g pragmas .nl
 >     . nl
 >     . sem_def                     .nl
 >     . nl
->     . mkSemObjects  options (monad_sub common_options) sem_info  .nl
+>     . mkSemObjects  options (monad_sub pragmas) sem_info  .nl
 >     . nl
->     . mkDecodeUtils options (monad_sub common_options) sem_info  .nl
+>     . mkDecodeUtils options (monad_sub pragmas) sem_info  .nl
 >     . nl
->     . user_def_token_code (token_type common_options)            .nl
+>     . user_def_token_code (token_type pragmas)            .nl
 >     . nl
 >     . table_text
 
@@ -211,7 +210,7 @@ Extract the string that comes before the module declaration...
 >                  [ "{-# LANGUAGE " ++ l ++ " #-}\n" | l <- lang_exts ]
 >              , comment "driver" ++ "\n"
 >              , "module " ++ mod_name ++ "("
->              , case lexer common_options of
+>              , case lexer pragmas of
 >                  Nothing     -> ""
 >                  Just (lf,_) -> "  " ++ lf ++ ","
 >              , "  " ++ start
@@ -373,8 +372,8 @@ Do the same with the Happy goto table.
 %-----------------------------------------------------------------------------
 Create the 'GSymbol' ADT for the symbols in the grammar
 
-> mkGSymbols :: Grammar -> CommonOptions -> ShowS
-> mkGSymbols g common_options
+> mkGSymbols :: Grammar -> Pragmas -> ShowS
+> mkGSymbols g pragmas
 >  = str dec
 >  . str eof
 >  . str tok
@@ -386,7 +385,7 @@ Create the 'GSymbol' ADT for the symbols in the grammar
 >  where
 >   dec  = "data GSymbol"
 >   eof  = " = HappyEOF"
->   tok  = " | HappyTok {-!Int-} (" ++ token_type common_options ++ ")"
+>   tok  = " | HappyTok {-!Int-} (" ++ token_type pragmas ++ ")"
 >   der  = "   deriving (Show,Eq,Ord)"
 >   syms = [ token_names g ! i | i <- user_non_terminals g ]
 
@@ -424,17 +423,17 @@ Creating a type for storing semantic rules
 > type SemInfo
 >  = [(String, String, [Int], [((Int,Int), ([(Int,String)],String), [Int])])]
 
-> mkGSemType :: Options -> Grammar -> CommonOptions -> (ShowS, SemInfo)
-> mkGSemType (TreeDecode,_,_) g common_options
+> mkGSemType :: Options -> Grammar -> Pragmas -> (ShowS, SemInfo)
+> mkGSemType (TreeDecode,_,_) g pragmas
 >  = (def, map snd syms)
 >  where
->   mtype s = case monad_sub common_options of
+>   mtype s = case monad_sub pragmas of
 >               Nothing       -> s
 >               Just (ty,_,_) -> ty ++ ' ' : brack s ""
 
 >   def  = str "data GSem" . nl
 >        . str " = NoSem"  . nl
->        . str (" | SemTok (" ++  token_type common_options ++ ")") . nl
+>        . str (" | SemTok (" ++  token_type pragmas ++ ")") . nl
 >        . interleave "\n" [ str " | " . str sym . str " "
 >                          | sym <- map fst syms ]
 >        . str "instance Show GSem where" . nl
@@ -472,18 +471,18 @@ Creating a type for storing semantic rules
 >                                    , ts !! k == t ]
 >          ]
 
->   typeOf n | n `elem` terminals g = token_type common_options
+>   typeOf n | n `elem` terminals g = token_type pragmas
 >            | otherwise            = case types g ! n of
 >                                       Nothing -> "()"         -- default
 >                                       Just t  -> t
 
 > -- NB expects that such labels are Showable
-> mkGSemType (LabelDecode,_,_) g common_options
+> mkGSemType (LabelDecode,_,_) g pragmas
 >  = (def, map snd syms)
 >  where
 >   def = str "data GSem" . nl
 >       . str " = NoSem"  . nl
->       . str (" | SemTok (" ++  token_type common_options ++ ")")
+>       . str (" | SemTok (" ++  token_type pragmas ++ ")")
 >       . interleave "\n" [ str " | "  . str sym . str " "
 >                         | sym <- map fst syms ]
 >       . str "   deriving (Show)" . nl
@@ -672,9 +671,9 @@ only unpacked when needed. Using classes here to manage the unpacking.
 This selects the info used for monadic parser generation
 
 > type MonadInfo = Maybe (String,String,String)
-> monad_sub :: CommonOptions -> MonadInfo
-> monad_sub common_options
->  = case monad common_options of
+> monad_sub :: Pragmas -> MonadInfo
+> monad_sub pragmas
+>  = case monad pragmas of
 >      (True, _, ty,bd,ret) -> Just (ty,bd,ret)
 >      _                    -> Nothing
 >    -- TMP: only use monad info if it was user-declared, and ignore ctxt
diff --git a/packages/backend-lalr/happy-backend-lalr.cabal b/packages/backend-lalr/happy-backend-lalr.cabal
index 7665a43b..ad42fa8c 100644
--- a/packages/backend-lalr/happy-backend-lalr.cabal
+++ b/packages/backend-lalr/happy-backend-lalr.cabal
@@ -50,7 +50,6 @@ library
                        Happy.Backend.LALR.ProduceCode
   build-depends:       base < 5,
                        array,
-                       happy-codegen-common == 2.0,
                        happy-grammar == 2.0,
                        happy-tabular == 2.0
 
diff --git a/packages/backend-lalr/src/Happy/Backend/LALR/ProduceCode.lhs b/packages/backend-lalr/src/Happy/Backend/LALR/ProduceCode.lhs
index f5ea3b4c..9434b233 100644
--- a/packages/backend-lalr/src/Happy/Backend/LALR/ProduceCode.lhs
+++ b/packages/backend-lalr/src/Happy/Backend/LALR/ProduceCode.lhs
@@ -8,7 +8,6 @@ The code generator.
 
 > import Paths_happy_backend_lalr  ( version )
 > import Data.Version              ( showVersion )
-> import Happy.CodeGen.Common.Options
 > import Happy.Grammar
 > import Happy.Tabular.LALR
 
@@ -30,7 +29,7 @@ The code generator.
 Produce the complete output file.
 
 > produceParser :: Grammar                      -- grammar info
->               -> CommonOptions                -- common codegen options
+>               -> Pragmas                      -- pragmas supplied in the .y-file
 >               -> ActionTable                  -- action table
 >               -> GotoTable                    -- goto table
 >               -> [String]                     -- language extensions
@@ -54,7 +53,7 @@ Produce the complete output file.
 >               , attributetype = attributetype'
 >               , attributes = attributes'
 >               })
->               (CommonOptions
+>               (Pragmas
 >               { lexer = lexer'
 >               , imported_identity = imported_identity'
 >               , monad = (use_monad,monad_context,monad_tycon,monad_then,monad_return)
diff --git a/packages/codegen-common/LICENSE b/packages/codegen-common/LICENSE
deleted file mode 120000
index 30cff740..00000000
--- a/packages/codegen-common/LICENSE
+++ /dev/null
@@ -1 +0,0 @@
-../../LICENSE
\ No newline at end of file
diff --git a/packages/codegen-common/Setup.hs b/packages/codegen-common/Setup.hs
deleted file mode 100644
index 9a994af6..00000000
--- a/packages/codegen-common/Setup.hs
+++ /dev/null
@@ -1,2 +0,0 @@
-import Distribution.Simple
-main = defaultMain
diff --git a/packages/codegen-common/happy-codegen-common.cabal b/packages/codegen-common/happy-codegen-common.cabal
deleted file mode 100644
index cf9dfdca..00000000
--- a/packages/codegen-common/happy-codegen-common.cabal
+++ /dev/null
@@ -1,50 +0,0 @@
-name:            happy-codegen-common
-version:         2.0
-license:         BSD2
-license-file:    LICENSE
-copyright:       (c) Andy Gill, Simon Marlow
-author:          Andy Gill and Simon Marlow
-maintainer:      Simon Marlow <marlowsd@gmail.com>
-bug-reports:     https://github.com/haskell/happy/issues
-stability:       stable
-homepage:        https://www.haskell.org/happy/
-category:        Development
-cabal-version:   >= 1.10
-build-type:      Simple
-synopsis:        Definitions for any code generator for Happy
-
-Description:
-  Happy is a parser generator for Haskell.
-  Happy.CodeGen.Common.Options exposes the cross-package CommonOptions datatype,
-  which represents a directives as can be parsed and processed by happy.
-
-tested-with:
-        GHC == 9.10.1
-        GHC == 9.8.2
-        GHC == 9.6.5
-        GHC == 9.4.8
-        GHC == 9.2.8
-        GHC == 9.0.2
-        GHC == 8.10.7
-        GHC == 8.8.4
-        GHC == 8.6.5
-        GHC == 8.4.4
-        GHC == 8.2.2
-        GHC == 8.0.2
---        GHC == 7.10.3
---        GHC == 7.8.4
---        GHC == 7.6.3
---        GHC == 7.4.2
---        GHC == 7.0.4
-
-library
-  hs-source-dirs:      src
-
-  exposed-modules:     Happy.CodeGen.Common.Options
-  build-depends:       base < 5,
-                       array
-
-  default-language:    Haskell98
-  default-extensions:  CPP, MagicHash, FlexibleContexts
-  ghc-options: -Wall
-  other-modules:
diff --git a/packages/codegen-common/src/Happy/CodeGen/Common/Options.lhs b/packages/codegen-common/src/Happy/CodeGen/Common/Options.lhs
deleted file mode 100644
index 66239991..00000000
--- a/packages/codegen-common/src/Happy/CodeGen/Common/Options.lhs
+++ /dev/null
@@ -1,25 +0,0 @@
-/-----------------------------------------------------------------------------
-The CommonOptions data type.
-
-(c) 1993-2001 Andy Gill, Simon Marlow
------------------------------------------------------------------------------
-
-> module Happy.CodeGen.Common.Options (
->       ErrorHandlerType(..),
->       CommonOptions(..)
->       ) where
-
-> data ErrorHandlerType
->   = ErrorHandlerTypeDefault
->   | ErrorHandlerTypeExpList
-
-> data CommonOptions
->       = CommonOptions {
->               token_type        :: String,
->               imported_identity :: Bool,
->               monad             :: (Bool,String,String,String,String),
->               expect            :: Maybe Int,
->               lexer             :: Maybe (String,String),
->               error_handler     :: Maybe String,
->               error_sig         :: ErrorHandlerType
->       }
diff --git a/packages/frontend/happy-frontend.cabal b/packages/frontend/happy-frontend.cabal
index 6c5c09f7..f26695ab 100644
--- a/packages/frontend/happy-frontend.cabal
+++ b/packages/frontend/happy-frontend.cabal
@@ -51,7 +51,6 @@ library
                        containers >= 0.4.2,
                        transformers >= 0.5.6.2,
                        mtl >= 2.2.2,
-                       happy-codegen-common == 2.0,
                        happy-grammar == 2.0
 
   default-language:    Haskell98
diff --git a/packages/frontend/src/Happy/Frontend/AbsSyn.lhs b/packages/frontend/src/Happy/Frontend/AbsSyn.lhs
index 3b195a7f..888ee080 100644
--- a/packages/frontend/src/Happy/Frontend/AbsSyn.lhs
+++ b/packages/frontend/src/Happy/Frontend/AbsSyn.lhs
@@ -16,7 +16,7 @@ Here is the abstract syntax of the language we parse.
 >       Rule(..), Prod(..), Term(..), Prec(..)
 >  ) where
 
-> import Happy.CodeGen.Common.Options (ErrorHandlerType(..))
+> import Happy.Grammar (ErrorHandlerType(..))
 
 > data BookendedAbsSyn
 >     = BookendedAbsSyn
diff --git a/packages/frontend/src/Happy/Frontend/Mangler.lhs b/packages/frontend/src/Happy/Frontend/Mangler.lhs
index c1108d2a..625a27bf 100644
--- a/packages/frontend/src/Happy/Frontend/Mangler.lhs
+++ b/packages/frontend/src/Happy/Frontend/Mangler.lhs
@@ -8,7 +8,6 @@ Mangler converts AbsSyn to Grammar
 
 > module Happy.Frontend.Mangler (mangler) where
 
-> import Happy.CodeGen.Common.Options
 > import Happy.Grammar
 > import Happy.Frontend.AbsSyn
 > import Happy.Frontend.Mangler.Monad
@@ -29,13 +28,13 @@ Mangler converts AbsSyn to Grammar
 
 This bit is a real mess, mainly because of the error message support.
 
-> mangler :: FilePath -> AbsSyn -> Either [ErrMsg] (Grammar, CommonOptions)
+> mangler :: FilePath -> AbsSyn -> Either [ErrMsg] (Grammar, Pragmas)
 > mangler file abssyn
 >   | null errs = Right gd
 >   | otherwise = Left errs
 >   where (gd, errs) = runWriter (manglerM file abssyn)
 
-> manglerM :: FilePath -> AbsSyn -> M (Grammar, CommonOptions)
+> manglerM :: FilePath -> AbsSyn -> M (Grammar, Pragmas)
 > manglerM file (AbsSyn dirs rules') =
 >   -- add filename to all error messages
 >   mapWriter (\(a,e) -> (a, map (\s -> file ++ ": " ++ s) e)) $ do
@@ -239,7 +238,7 @@ Get the token specs in terms of Names.
 >               attributes        = attrs,
 >               attributetype     = attrType
 >       },
->       CommonOptions {
+>       Pragmas {
 >               imported_identity                 = getImportedIdentity dirs,
 >               monad             = getMonad dirs,
 >               lexer             = getLexer dirs,
diff --git a/packages/grammar/src/Happy/Grammar.lhs b/packages/grammar/src/Happy/Grammar.lhs
index d088b0b3..dbbb6a4a 100644
--- a/packages/grammar/src/Happy/Grammar.lhs
+++ b/packages/grammar/src/Happy/Grammar.lhs
@@ -4,12 +4,14 @@ The Grammar data type.
 (c) 1993-2001 Andy Gill, Simon Marlow
 -----------------------------------------------------------------------------
 
+> -- | This module exports the 'Grammar' data type, which
 > module Happy.Grammar (
 >       Name,
 >
 >       Production(..), Grammar(..),
 >       Priority(..),
 >       Assoc(..),
+>       Pragmas(..), ErrorHandlerType(..),
 >
 >       errorName, errorTok, startName, dummyName, firstStartTok, dummyTok,
 >       eofName, epsilonTok,
@@ -80,6 +82,22 @@ The Grammar data type.
 >   Prio _ i == Prio _ j = i == j
 >   _ == _ = False
 
+> data ErrorHandlerType
+>   = ErrorHandlerTypeDefault
+>   | ErrorHandlerTypeExpList
+
+> -- | Stuff like `\%monad`, `\%expect`
+> data Pragmas
+>       = Pragmas {
+>               token_type        :: String,
+>               imported_identity :: Bool,
+>               monad             :: (Bool,String,String,String,String),
+>               expect            :: Maybe Int,
+>               lexer             :: Maybe (String,String),
+>               error_handler     :: Maybe String,
+>               error_sig         :: ErrorHandlerType
+>       }
+
 -----------------------------------------------------------------------------
 -- Magic name values
 
diff --git a/src/Main.lhs b/src/Main.lhs
index 93aa7207..38ce4a11 100644
--- a/src/Main.lhs
+++ b/src/Main.lhs
@@ -11,7 +11,6 @@ Path settings auto-generated by Cabal:
 
 > import Paths_happy
 
-> import Happy.CodeGen.Common.Options
 > import Happy.Grammar
 > import Happy.Frontend
 > import Happy.Frontend.AbsSyn