Remove unused GHC extensions.

diff --git a/symantic/Language/Symantic/Typing/Type.hs b/symantic/Language/Symantic/Typing/Type.hs
index 786044a6111843e067f17b1f3be2af166361403a..17c466a49438196f34b7bc4a3a07365b6c26ea41 100644 (file)
--- a/symantic/Language/Symantic/Typing/Type.hs
+++ b/symantic/Language/Symantic/Typing/Type.hs
@@ -1,12 +1,8 @@
 {-# language ConstraintKinds #-}
 {-# LANGUAGE AllowAmbiguousTypes #-}
-{-# LANGUAGE PartialTypeSignatures #-}
-{-# LANGUAGE ImpredicativeTypes #-}
-{-# LANGUAGE LiberalTypeSynonyms #-}
 {-# LANGUAGE GADTs #-}
 {-# LANGUAGE TypeInType #-}
 {-# LANGUAGE PolyKinds #-}
-{-# LANGUAGE NoMonomorphismRestriction #-}
 {-# LANGUAGE UndecidableInstances #-}
 {-# LANGUAGE UndecidableSuperClasses #-}
 {-# OPTIONS_GHC -fno-warn-orphans #-}