diff --git a/make-pages/BuilderQQ.hs b/make-pages/BuilderQQ.hs
index 4aaa090..c0935da 100644
--- a/make-pages/BuilderQQ.hs
+++ b/make-pages/BuilderQQ.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE TemplateHaskell #-}
+{-# LANGUAGE PatternSynonyms, TemplateHaskell #-}
 module BuilderQQ
   (b,
    Builder, toStrictText, toLazyText, fromText, fromString, fromChar,
diff --git a/make-pages/Main.hs b/make-pages/Main.hs
index b268041..22d6e7d 100644
--- a/make-pages/Main.hs
+++ b/make-pages/Main.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE CPP, ImplicitParams, TypeApplications #-}
+{-# LANGUAGE CPP, ImplicitParams #-}
 module Main (main) where
 
 import Control.Monad
diff --git a/make-pages/Records.hs b/make-pages/Records.hs
index d58c5d2..4f804b6 100644
--- a/make-pages/Records.hs
+++ b/make-pages/Records.hs
@@ -1,5 +1,4 @@
 {-# OPTIONS_GHC -Wno-orphans #-}
-{-# LANGUAGE MultiParamTypeClasses, ScopedTypeVariables, TypeApplications #-}
 module Records (HasField (..)) where
 
 import GHC.Records
diff --git a/make-pages/SinglePage.hs b/make-pages/SinglePage.hs
index ea7be28..73b9a60 100644
--- a/make-pages/SinglePage.hs
+++ b/make-pages/SinglePage.hs
@@ -250,9 +250,10 @@ makeButtonBar title images =
       | [(_, imgs)] <- cats ->
           makeButtonBar title (Uncat imgs)
       | otherwise ->
-          makeNav "cat"   $ map (uncurry makeCat) cats
+          makeNav "cat" $ map (uncurry makeCat) cats
  where
-  makeNav (cls :: Text) inner = [b|@0
+  makeNav :: CanBuild b => Text -> b -> Builder
+  makeNav cls inner = [b|@0
      <nav id=alts class=$cls aria-label="alternate versions">
        $2.inner
        $2.skipAll
diff --git a/make-pages/make-pages.cabal b/make-pages/make-pages.cabal
index 37b0569..ab3eb7f 100644
--- a/make-pages/make-pages.cabal
+++ b/make-pages/make-pages.cabal
@@ -26,39 +26,23 @@ executable make-pages
     RSS,
     ListTags,
     Options
-  default-language: Haskell2010
+  default-language: GHC2024
   default-extensions:
     BlockArguments,
-    ConstraintKinds,
-    DataKinds,
     DeriveAnyClass,
-    DeriveTraversable,
-    DerivingStrategies,
     DerivingVia,
     DuplicateRecordFields,
-    FlexibleContexts,
-    FlexibleInstances,
-    GeneralizedNewtypeDeriving,
-    LambdaCase,
-    NamedFieldPuns,
     OverloadedLabels,
     OverloadedLists,
     OverloadedStrings,
-    PatternSynonyms,
     QuasiQuotes,
-    RankNTypes,
-    ScopedTypeVariables,
-    StandaloneDeriving,
-    TupleSections,
     TypeSynonymInstances,
     ViewPatterns
   other-extensions:
+    PatternSynonyms,
     CPP,
     ImplicitParams,
-    MultiParamTypeClasses,
-    ScopedTypeVariables,
-    TemplateHaskell,
-    TypeApplications
+    TemplateHaskell
   build-depends:
     base                  >= 4.16.4   && < 4.21,
     bytestring            >= 0.11.3.1 && < 0.14,