diff --git a/dependent-sum/ChangeLog.md b/ChangeLog.md
similarity index 100%
rename from dependent-sum/ChangeLog.md
rename to ChangeLog.md
diff --git a/dependent-sum/Setup.lhs b/Setup.lhs
similarity index 100%
rename from dependent-sum/Setup.lhs
rename to Setup.lhs
diff --git a/cabal.project b/cabal.project
deleted file mode 100644
index 4648ada..0000000
--- a/cabal.project
+++ /dev/null
@@ -1 +0,0 @@
-packages: dependent-sum
diff --git a/dependent-sum/dependent-sum.cabal b/dependent-sum.cabal
similarity index 100%
rename from dependent-sum/dependent-sum.cabal
rename to dependent-sum.cabal
diff --git a/dependent-sum/examples/FooGADT.hs b/examples/FooGADT.hs
similarity index 100%
rename from dependent-sum/examples/FooGADT.hs
rename to examples/FooGADT.hs
diff --git a/dependent-sum/src/Data/Dependent/Sum.hs b/src/Data/Dependent/Sum.hs
similarity index 100%
rename from dependent-sum/src/Data/Dependent/Sum.hs
rename to src/Data/Dependent/Sum.hs