From e19fc9cba9e66fe487182bd76ea03d4f53b2edfd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Cl=C3=A9ment=20Hurlin?= <clement.hurlin@moduscreate.com>
Date: Thu, 17 Oct 2024 12:12:01 +0200
Subject: [PATCH] cabal setup: add ConstraintKinds

---
 tn-fp-course.cabal | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/tn-fp-course.cabal b/tn-fp-course.cabal
index 386f848..f414f59 100644
--- a/tn-fp-course.cabal
+++ b/tn-fp-course.cabal
@@ -37,7 +37,8 @@ common common-all
                        -Wno-unused-imports
                        -Werror
                        -Wwarn=missing-home-modules
-     default-extensions: DataKinds
+     default-extensions: ConstraintKinds
+                         DataKinds
                          DeriveGeneric
                          DeriveFunctor
                          DuplicateRecordFields