diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index f9ce5bfb8c..9317553a5a 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -52,6 +52,7 @@ jobs:
             --ghc-opt -XStandaloneDeriving
             --ghc-opt -XTemplateHaskell
             --ghc-opt -XUnicodeSyntax
+            --ghc-opt -XBangPatterns
 
   build-and-test-linux:
     runs-on: ubuntu-22.04
diff --git a/Makefile b/Makefile
index 86b6becfdd..9248130526 100644
--- a/Makefile
+++ b/Makefile
@@ -97,6 +97,7 @@ ormolu:
 		--ghc-opt -XMultiParamTypeClasses  \
 		--ghc-opt -XTemplateHaskell \
 		--ghc-opt -XImportQualifiedPost \
+		--ghc-opt -XBangPatterns \
 			--mode ${ORMOLUMODE} \
 		$(ORMOLUFILES)
 
diff --git a/src/Juvix/Compiler/Core/Evaluator.hs b/src/Juvix/Compiler/Core/Evaluator.hs
index 1d53737642..072299228a 100644
--- a/src/Juvix/Compiler/Core/Evaluator.hs
+++ b/src/Juvix/Compiler/Core/Evaluator.hs
@@ -1,9 +1,3 @@
-{-# LANGUAGE BangPatterns #-}
-{-# OPTIONS_GHC -Wno-unrecognised-pragmas #-}
-
-{-# HLINT ignore "Avoid restricted extensions" #-}
-{-# HLINT ignore "Avoid restricted flags" #-}
-
 module Juvix.Compiler.Core.Evaluator where
 
 import Control.Exception qualified as Exception
diff --git a/src/Juvix/Compiler/Tree/Evaluator.hs b/src/Juvix/Compiler/Tree/Evaluator.hs
index 2809bf2d50..5d27c3ed6c 100644
--- a/src/Juvix/Compiler/Tree/Evaluator.hs
+++ b/src/Juvix/Compiler/Tree/Evaluator.hs
@@ -1,8 +1,3 @@
-{-# LANGUAGE BangPatterns #-}
-{-# OPTIONS_GHC -Wno-unrecognised-pragmas #-}
-
-{-# HLINT ignore "Avoid restricted extensions" #-}
-{-# HLINT ignore "Avoid restricted flags" #-}
 module Juvix.Compiler.Tree.Evaluator where
 
 import Control.Exception qualified as Exception
diff --git a/src/Juvix/Prelude/Base.hs b/src/Juvix/Prelude/Base.hs
index 97dd23708d..9da32ed13a 100644
--- a/src/Juvix/Prelude/Base.hs
+++ b/src/Juvix/Prelude/Base.hs
@@ -1,9 +1,3 @@
-{-# LANGUAGE BangPatterns #-}
-{-# OPTIONS_GHC -Wno-unrecognised-pragmas #-}
-
-{-# HLINT ignore "Avoid restricted extensions" #-}
-{-# HLINT ignore "Avoid restricted flags" #-}
-
 module Juvix.Prelude.Base
   ( module Juvix.Prelude.Base,
     module Control.Applicative,