diff --git a/src/Data/Syntax.hs b/src/Data/Syntax.hs
index 1498ab870..dd7236899 100644
--- a/src/Data/Syntax.hs
+++ b/src/Data/Syntax.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE DeriveAnyClass, MonoLocalBinds, TypeOperators #-}
+{-# LANGUAGE DeriveAnyClass, TypeOperators #-}
 module Data.Syntax where
 
 import Algorithm