diff --git a/semantic-core/src/Data/Term.hs b/semantic-core/src/Data/Term.hs
index caf2ac49c..f7e9695d9 100644
--- a/semantic-core/src/Data/Term.hs
+++ b/semantic-core/src/Data/Term.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE DeriveTraversable, FlexibleInstances, LambdaCase, MultiParamTypeClasses, QuantifiedConstraints, RankNTypes, ScopedTypeVariables, StandaloneDeriving, TypeOperators, UndecidableInstances #-}
+{-# LANGUAGE DeriveTraversable, FlexibleInstances, MultiParamTypeClasses, QuantifiedConstraints, StandaloneDeriving, UndecidableInstances #-}
 module Data.Term
 ( Term(..)
 ) where