diff --git a/src/Language/Scalie/Core/Provenance/SourceLocation.hs b/src/Language/Scalie/Core/Provenance/SourceLocation.hs
index ab1f76f..301b1e2 100644
--- a/src/Language/Scalie/Core/Provenance/SourceLocation.hs
+++ b/src/Language/Scalie/Core/Provenance/SourceLocation.hs
@@ -1,9 +1,6 @@
 {-# LANGUAGE Safe #-}
 module Language.Scalie.Core.Provenance.SourceLocation (SourceLocation(..)) where
 import Data.Kind (Type)
-import Text.Show (Show)
-import Text.Read (Read)
-import Data.Eq (Eq)
 
 type SourceLocation :: Type
 data SourceLocation
diff --git a/src/Language/Scalie/Domain/Type.hs b/src/Language/Scalie/Domain/Type.hs
index 92f9f87..106c061 100644
--- a/src/Language/Scalie/Domain/Type.hs
+++ b/src/Language/Scalie/Domain/Type.hs
@@ -3,11 +3,9 @@
 module Language.Scalie.Domain.Type (Type(..)) where
 
 import Data.Kind qualified
-import Text.Show (Show)
-import Text.Read (Read)
-import Data.Eq (Eq)
 import Test.QuickCheck (Arbitrary (arbitrary), Gen, oneof)
-import Control.Applicative (Applicative(pure))
+
+-- | The type of an expression in Scalie, not to be confused with the 'Type' provided by GHC
 
 type Type :: Data.Kind.Type
 data Type