diff --git a/OwO.cabal b/OwO.cabal
index 9ef2d31..ebad05d 100644
--- a/OwO.cabal
+++ b/OwO.cabal
@@ -59,7 +59,7 @@ library
                   , OwO.Main
                   , OwO.Version
 
-                  , OwO.Syntax.AbsSyntaxTree
+                  , OwO.Syntax.Abstract
                   , OwO.Syntax.Common
                   , OwO.Syntax.Position
                   , OwO.Syntax.TokenType
diff --git a/src/full/OwO/Syntax/AbsSyntaxTree.hs b/src/full/OwO/Syntax/Abstract.hs
similarity index 99%
rename from src/full/OwO/Syntax/AbsSyntaxTree.hs
rename to src/full/OwO/Syntax/Abstract.hs
index 75e42ea..4dc5fff 100644
--- a/src/full/OwO/Syntax/AbsSyntaxTree.hs
+++ b/src/full/OwO/Syntax/Abstract.hs
@@ -4,7 +4,7 @@
 {-# LANGUAGE DuplicateRecordFields #-}
 {-# LANGUAGE TypeOperators         #-}
 
-module OwO.Syntax.AbsSyntaxTree
+module OwO.Syntax.Abstract
   ( Name(..)
   , locationOfName
   , textOfName
diff --git a/src/full/OwO/TypeChecking.hs b/src/full/OwO/TypeChecking.hs
index 42b40dd..a5c9930 100644
--- a/src/full/OwO/TypeChecking.hs
+++ b/src/full/OwO/TypeChecking.hs
@@ -6,7 +6,7 @@ module OwO.TypeChecking where
 import           Data.Functor             ((<&>))
 import           Data.Maybe               (catMaybes)
 
-import           OwO.Syntax.AbsSyntaxTree
+import           OwO.Syntax.Abstract
 import           OwO.TypeChecking.Core
 import           OwO.TypeChecking.Match
 import           OwO.TypeChecking.Monad
diff --git a/src/full/OwO/TypeChecking/Core.hs b/src/full/OwO/TypeChecking/Core.hs
index a835c50..53ac5c1 100644
--- a/src/full/OwO/TypeChecking/Core.hs
+++ b/src/full/OwO/TypeChecking/Core.hs
@@ -17,7 +17,7 @@ module OwO.TypeChecking.Core
 
 import qualified Data.Text                as T
 
-import           OwO.Syntax.AbsSyntaxTree
+import           OwO.Syntax.Abstract
 import           OwO.Syntax.Common
 import           OwO.Syntax.Position
 
diff --git a/src/full/OwO/TypeChecking/Match.hs b/src/full/OwO/TypeChecking/Match.hs
index 0108521..fb041fe 100644
--- a/src/full/OwO/TypeChecking/Match.hs
+++ b/src/full/OwO/TypeChecking/Match.hs
@@ -3,6 +3,6 @@
 -- | Dependent pattern matching
 module OwO.TypeChecking.Match where
 
-import OwO.Syntax.AbsSyntaxTree
+import           OwO.Syntax.Abstract
 
 #include <impossible.h>
diff --git a/src/full/OwO/TypeChecking/Monad.hs b/src/full/OwO/TypeChecking/Monad.hs
index 7e4c558..8d05d98 100644
--- a/src/full/OwO/TypeChecking/Monad.hs
+++ b/src/full/OwO/TypeChecking/Monad.hs
@@ -16,7 +16,7 @@ import qualified Data.Map                   as Map
 import qualified Data.Text                  as T
 
 import           OwO.Options
-import           OwO.Syntax.AbsSyntaxTree
+import           OwO.Syntax.Abstract
 import           OwO.Syntax.Common
 import           OwO.Syntax.Position
 import           OwO.TypeChecking.Core