diff --git a/ChangeLog.md b/ChangeLog.md
deleted file mode 100644
--- a/ChangeLog.md
+++ /dev/null
@@ -1,3 +0,0 @@
-# Changelog for cautious
-
-## Unreleased changes
diff --git a/README.md b/README.md
deleted file mode 100644
--- a/README.md
+++ /dev/null
@@ -1,4 +0,0 @@
-# Cautious
-
-Cautious provides a monad Cautious w e, which keeps track of warnings `w` and errors `e` during calculations.
-CautiousT w e m is a MonadTransform based on Cautious.
diff --git a/cautious.cabal b/cautious.cabal
--- a/cautious.cabal
+++ b/cautious.cabal
@@ -2,10 +2,10 @@
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: 8b9da1a1772aa6520617ce70f5e13cc9e31103bb2406f4d33118650185b97a5b
+-- hash: 7aafe21e08fef384e52cf4d726dd4728a5487503f548422324219d920e211d36
 
 name:           cautious
-version:        0.1.0.0
+version:        0.3.0.0
 synopsis:       Keep track of warnings and errors during calculations.
 description:    A Cautious monad "Monoid w => Cautious w e a" which keeps track of the success of a task. The options are "CautiousWarning w a" (where "CautiousWarning mempty a" represents "success") and "CautiousError e". In addition, there is a monadtransformer "Monad m, Monoid w => CautiousT w e m a"
 category:       Testing
@@ -19,10 +19,6 @@
 build-type:     Simple
 cabal-version:  >= 1.10
 
-extra-source-files:
-    ChangeLog.md
-    README.md
-
 source-repository head
   type: git
   location: https://github.com/Nickske666/cautious
@@ -33,44 +29,14 @@
   default-extensions: NoImplicitPrelude
   ghc-options: -Wall
   build-depends:
-      QuickCheck >=2.9 && <2.11
-    , aeson
+      aeson
     , base >=4.10 && <5
-    , genvalidity
-    , genvalidity-hspec-aeson
-    , hspec
-    , hspec-discover
     , transformers
     , validity
   exposed-modules:
       Cautious.Cautious
       Cautious.CautiousT
-      Cautious.Gen
   other-modules:
       Import
-      Paths_cautious
-  default-language: Haskell2010
-
-test-suite cautious-test
-  type: exitcode-stdio-1.0
-  main-is: Spec.hs
-  hs-source-dirs:
-      test/
-  ghc-options: -threaded -rtsopts -with-rtsopts=-N
-  build-depends:
-      QuickCheck
-    , aeson
-    , base >=4.10 && <5
-    , cautious
-    , genvalidity
-    , genvalidity-hspec
-    , genvalidity-hspec-aeson
-    , hspec
-    , hspec-discover
-    , transformers
-    , validity
-  other-modules:
-      Cautious.CautiousSpec
-      TestImport
       Paths_cautious
   default-language: Haskell2010
diff --git a/src/Cautious/CautiousT.hs b/src/Cautious/CautiousT.hs
--- a/src/Cautious/CautiousT.hs
+++ b/src/Cautious/CautiousT.hs
@@ -3,7 +3,10 @@
 {-# LANGUAGE KindSignatures #-}
 {-# LANGUAGE UndecidableInstances #-}
 
-module Cautious.CautiousT where
+module Cautious.CautiousT
+    ( module Cautious.Cautious
+    , module Cautious.CautiousT
+    ) where
 
 import Import
 
diff --git a/src/Cautious/Gen.hs b/src/Cautious/Gen.hs
deleted file mode 100644
--- a/src/Cautious/Gen.hs
+++ /dev/null
@@ -1,19 +0,0 @@
-{-# LANGUAGE UndecidableInstances #-}
-{-# OPTIONS_GHC -fno-warn-orphans #-}
-
-module Cautious.Gen where
-
-import Cautious.Cautious
-import Cautious.CautiousT
-
-import Data.GenValidity
-
-instance (GenUnchecked a, GenUnchecked w, GenUnchecked e) =>
-         GenUnchecked (Cautious w e a)
-
-instance (GenValid a, GenValid w, GenValid e) => GenValid (Cautious w e a)
-
-instance GenUnchecked (m (Cautious e w a)) =>
-         GenUnchecked (CautiousT e w m a)
-
-instance GenValid (m (Cautious e w a)) => GenValid (CautiousT e w m a)
diff --git a/test/Cautious/CautiousSpec.hs b/test/Cautious/CautiousSpec.hs
deleted file mode 100644
--- a/test/Cautious/CautiousSpec.hs
+++ /dev/null
@@ -1,27 +0,0 @@
-{-# LANGUAGE TypeApplications #-}
-
-module Cautious.CautiousSpec
-    ( spec
-    ) where
-
-import TestImport
-
-import Cautious.Cautious
-import Cautious.CautiousT
-import Cautious.Gen ()
-
-type CautiousExample = Cautious String String
-
-type CautiousExampleT = CautiousT String String Maybe
-
-spec :: Spec
-spec = do
-    genValidSpec @(CautiousExample Int)
-    eqSpec @(CautiousExample Int)
-    jsonSpecOnValid @(CautiousExample Int)
-    functorSpecOnValid @CautiousExample
-    applicativeSpecOnValid @CautiousExample
-    monadSpecOnValid @CautiousExample
-    functorSpecOnValid @CautiousExampleT
-    applicativeSpecOnValid @CautiousExampleT
-    monadSpecOnValid @CautiousExampleT
diff --git a/test/Spec.hs b/test/Spec.hs
deleted file mode 100644
--- a/test/Spec.hs
+++ /dev/null
@@ -1,1 +0,0 @@
-{-# OPTIONS_GHC -F -pgmF hspec-discover #-}
diff --git a/test/TestImport.hs b/test/TestImport.hs
deleted file mode 100644
--- a/test/TestImport.hs
+++ /dev/null
@@ -1,11 +0,0 @@
-module TestImport
-    ( module X
-    ) where
-
-import Prelude as X
-
-import Test.Hspec as X
-import Test.QuickCheck as X
-
-import Test.Validity as X
-import Test.Validity.Aeson as X