From 668a038b58153e64045f342e9fcfb349431a3fca Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Roman=20Smr=C5=BE?= <roman.smrz@seznam.cz>
Date: Thu, 15 Oct 2026 21:33:22 +0200
Subject: Add missing DataKinds extension to cabal file

---
 erebos.cabal | 1 +
 1 file changed, 1 insertion(+)

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
-- 
cgit v1.2.3