From cd135319f65f40a554d864b2a878a4ef44043a98 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Mon, 10 Nov 2025 22:31:56 +0100
Subject: hlint cleanup

---
 src/CHAD/Language.hs | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/CHAD/Language.hs')

diff --git a/src/CHAD/Language.hs b/src/CHAD/Language.hs
index 6dc91a5..ef89284 100644
--- a/src/CHAD/Language.hs
+++ b/src/CHAD/Language.hs
@@ -1,5 +1,4 @@
 {-# LANGUAGE DataKinds #-}
-{-# LANGUAGE ExplicitForAll #-}
 {-# LANGUAGE OverloadedLabels #-}
 {-# LANGUAGE PatternSynonyms #-}
 {-# LANGUAGE PolyKinds #-}
-- 
cgit v1.2.3-70-g09d2