2 files changed, 5 insertions, 6 deletions
diff --git a/src/AST.hs b/src/AST.hs
index 90baaf0..d9acd99 100644
--- a/src/AST.hs
+++ b/src/AST.hs
@@ -16,7 +16,6 @@
 module AST (module AST, module AST.Weaken) where
 
 import Data.Functor.Const
-
 import Data.Kind (Type)
 import Data.Int
 
diff --git a/src/AST/Weaken.hs b/src/AST/Weaken.hs
index d992404..432b687 100644
--- a/src/AST/Weaken.hs
+++ b/src/AST/Weaken.hs
@@ -1,13 +1,13 @@
-{-# LANGUAGE TypeOperators #-}
-{-# LANGUAGE StandaloneDeriving #-}
 {-# LANGUAGE DataKinds #-}
+{-# LANGUAGE EmptyCase #-}
 {-# LANGUAGE GADTs #-}
 {-# LANGUAGE PolyKinds #-}
 {-# LANGUAGE ScopedTypeVariables #-}
-{-# LANGUAGE TypeFamilies #-}
-{-# LANGUAGE TypeApplications #-}
+{-# LANGUAGE StandaloneDeriving #-}
 {-# LANGUAGE StandaloneKindSignatures #-}
-{-# LANGUAGE EmptyCase #-}
+{-# LANGUAGE TypeApplications #-}
+{-# LANGUAGE TypeFamilies #-}
+{-# LANGUAGE TypeOperators #-}
 
 -- The reason why this is a separate module with "little" in it:
 {-# LANGUAGE AllowAmbiguousTypes #-}