diff --git a/src/Term.hs b/src/Term.hs
index 37270fa27..0f59be970 100644
--- a/src/Term.hs
+++ b/src/Term.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE DefaultSignatures, ScopedTypeVariables, RankNTypes, TypeFamilies, TypeOperators, TypeSynonymInstances #-}
+{-# LANGUAGE RankNTypes, TypeFamilies #-}
 {-# OPTIONS_GHC -fno-warn-orphans #-}
 module Term where