From b7e579dc20089550b7c550e388c3b9c1aab1374f Mon Sep 17 00:00:00 2001
From: VegOwOtenks <vegowotenks@jossco.de>
Date: Fri, 15 Aug 2025 12:37:34 +0200
Subject: [PATCH] fix[core]: remove redundant imports

---
 src/Language/Scalie/Core/Provenance/SourceLocation.hs | 3 ---
 src/Language/Scalie/Domain/Type.hs                    | 6 ++----
 2 files changed, 2 insertions(+), 7 deletions(-)

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