diff --git a/src/Language.hs b/src/Language.hs
index c0dcffcc2..df2e28703 100644
--- a/src/Language.hs
+++ b/src/Language.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE DataKinds, GADTs #-}
+{-# LANGUAGE DataKinds #-}
 module Language where
 
 import Data.Record