diff --git a/src/Language/Scalie/Core/Module.hs b/src/Language/Scalie/Core/Module.hs
index 2516038..6266529 100644
--- a/src/Language/Scalie/Core/Module.hs
+++ b/src/Language/Scalie/Core/Module.hs
@@ -16,22 +16,6 @@ import Language.Scalie.Core.Definition (Definition)
 import safe Language.Scalie.Core.AlgebraicDatatype ( AlgebraicDatatype )
 
 -- | A module groups multiple related variable definitions.
---
--- >>> import Data.Functor.Identity (Identity(..))
--- >>> import Data.Map.Implicit qualified as ImplicitMap
--- >>> Module (Identity ImplicitMap.empty)
--- Module {definitions = Identity ImplicitMapElems []}
---
--- >>> import Data.Maybe (Maybe(..))
--- >>> Module Nothing
--- Module {definitions = Nothing}
---
--- >>> import Text.Read (readMaybe)
--- >>> readMaybe "Module { definitions = Just (ImplicitMapElems []) }" :: Maybe (Module Maybe)
--- Just (Module {definitions = Just ImplicitMapElems []})
---
--- >>> readMaybe "Module { definitions = Just (ImplicitMapElems [Definition { signature = Nothing, name = Just \"x\", body = Nothing } ]) }" :: Maybe (Module Maybe)
--- Just (Module {definitions = Just ImplicitMapElems [Definition {signature = Nothing, name = Just "x", body = Nothing}]})
 
 type Module :: (Type -> Type) -> Type
 type role Module nominal