diff --git a/haskell-experiments/src/Datalog/NaiveDatabase.hs b/haskell-experiments/src/Datalog/NaiveDatabase.hs
index 8dacb94..4d250df 100644
--- a/haskell-experiments/src/Datalog/NaiveDatabase.hs
+++ b/haskell-experiments/src/Datalog/NaiveDatabase.hs
@@ -78,7 +78,6 @@ withFacts =
       Right otherStatement -> throw $ NonFactException factText otherStatement
       Left ex -> throw $ CannotParseStatementException factText ex
 
-
 withFactsAndRules :: [Text] -> [Text] -> NaiveDatabase
 withFactsAndRules facts = foldr (addRule . extractRule) (withFacts facts)
 
diff --git a/haskell-experiments/src/Datalog/Rules.hs b/haskell-experiments/src/Datalog/Rules.hs
index a14eda3..c8651bd 100644
--- a/haskell-experiments/src/Datalog/Rules.hs
+++ b/haskell-experiments/src/Datalog/Rules.hs
@@ -8,15 +8,10 @@ module Datalog.Rules where
 
 import Control.Exception.Base
 import Data.List
-import Data.Map (Map)
-import Data.Map qualified as Map
 import Data.Maybe
-import Data.Set (Set)
 import Data.Set qualified as Set
 import Data.Text (Text)
-import Data.Void
 import Datalog.DatalogParser (Head (HeadSingle), Literal (..), Statement (..), Term (..), parseDatalog)
-import Text.Megaparsec (ParseErrorBundle)
 import Datalog.DatalogDB
 
 data BodyConstraint = BodyConstraint