diff --git a/eo-phi-normalizer/app/Main.hs b/eo-phi-normalizer/app/Main.hs
index d71e4bcbf..1ead77610 100644
--- a/eo-phi-normalizer/app/Main.hs
+++ b/eo-phi-normalizer/app/Main.hs
@@ -58,11 +58,11 @@ main = do
           putStrLn "Input:"
           putStrLn (printTree input)
           putStrLn "===================================================="
-          forM_ (zip [1..] uniqueResults) $ \ (i, steps) -> do
+          forM_ (zip [1 ..] uniqueResults) $ \(i, steps) -> do
             putStrLn $
               "Result " <> show i <> " out of " <> show totalResults <> ":"
             let n = length steps
-            forM_ (zip [1..] steps) $ \ (k, step) -> do
+            forM_ (zip [1 ..] steps) $ \(k, step) -> do
               Control.Monad.when chain $ do
                 putStr ("[ " <> show k <> " / " <> show n <> " ]")
               putStrLn (printTree step)
diff --git a/eo-phi-normalizer/src/Language/EO/Phi.hs b/eo-phi-normalizer/src/Language/EO/Phi.hs
index c07f1d6e0..f400eb57b 100644
--- a/eo-phi-normalizer/src/Language/EO/Phi.hs
+++ b/eo-phi-normalizer/src/Language/EO/Phi.hs
@@ -11,8 +11,8 @@ module Language.EO.Phi (
 
 import System.Exit (exitFailure)
 
-import qualified Language.EO.Phi.Syntax.Abs as Phi
-import qualified Language.EO.Phi.Syntax.Par as Phi
+import Language.EO.Phi.Syntax.Abs qualified as Phi
+import Language.EO.Phi.Syntax.Par qualified as Phi
 
 import Language.EO.Phi.Normalize
 import Language.EO.Phi.Syntax
diff --git a/eo-phi-normalizer/src/Language/EO/Phi/Rules/Yaml.hs b/eo-phi-normalizer/src/Language/EO/Phi/Rules/Yaml.hs
index 4c1edacf0..92a0a271f 100644
--- a/eo-phi-normalizer/src/Language/EO/Phi/Rules/Yaml.hs
+++ b/eo-phi-normalizer/src/Language/EO/Phi/Rules/Yaml.hs
@@ -12,9 +12,9 @@ import Data.Aeson (FromJSON (..))
 import Data.Coerce (coerce)
 import Data.Maybe (fromMaybe)
 import Data.String (IsString (..))
-import qualified Data.Yaml as Yaml
+import Data.Yaml qualified as Yaml
 import GHC.Generics (Generic)
-import qualified Language.EO.Phi.Rules.Common as Common
+import Language.EO.Phi.Rules.Common qualified as Common
 import Language.EO.Phi.Syntax.Abs
 
 instance FromJSON Object where parseJSON = fmap fromString . parseJSON
@@ -75,7 +75,8 @@ data Subst = Subst
   { objectMetas :: [(MetaId, Object)]
   , bindingsMetas :: [(MetaId, [Binding])]
   , attributeMetas :: [(MetaId, Attribute)]
-  } deriving (Show)
+  }
+  deriving (Show)
 
 instance Semigroup Subst where
   (<>) = mergeSubst
diff --git a/eo-phi-normalizer/src/Language/EO/Phi/Syntax.hs b/eo-phi-normalizer/src/Language/EO/Phi/Syntax.hs
index caf5eec91..df6734990 100644
--- a/eo-phi-normalizer/src/Language/EO/Phi/Syntax.hs
+++ b/eo-phi-normalizer/src/Language/EO/Phi/Syntax.hs
@@ -7,9 +7,9 @@ module Language.EO.Phi.Syntax (
 ) where
 
 import Data.Char (isSpace)
-import Language.EO.Phi.Syntax.Abs
-import qualified Language.EO.Phi.Syntax.Print as Phi
 import Language.EO.Phi.Rules.Common ()
+import Language.EO.Phi.Syntax.Abs
+import Language.EO.Phi.Syntax.Print qualified as Phi
 
 -- * Overriding generated pretty-printer