1 files changed, 1 insertions, 0 deletions
diff --git a/erebos.cabal b/erebos.cabal
index 82e9157..ac954c3 100644
--- a/erebos.cabal
+++ b/erebos.cabal
@@ -53,6 +53,7 @@ common common
 
     default-extensions:
         DefaultSignatures
+        DataKinds
         ExistentialQuantification
         FlexibleContexts
         FlexibleInstances