diff --git a/Framework/Forms/Types.hs b/Framework/Forms/Types.hs
index 905f468..727ccae 100644
--- a/Framework/Forms/Types.hs
+++ b/Framework/Forms/Types.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE ExistentialQuantification, TypeFamilies, NamedFieldPuns, FlexibleContexts, ImpredicativeTypes, RankNTypes #-}
+{-# LANGUAGE ExistentialQuantification, TypeFamilies, NamedFieldPuns, FlexibleContexts, RankNTypes #-}
-- | HTML forms generation and validation.
module Framework.Forms.Types
(Form (..), FormField (..),
diff --git a/Framework/Forms/Validation.hs b/Framework/Forms/Validation.hs
index 156e62b..834468b 100644
--- a/Framework/Forms/Validation.hs
+++ b/Framework/Forms/Validation.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE ExistentialQuantification, TypeFamilies, NamedFieldPuns, FlexibleContexts, ImpredicativeTypes #-}
+{-# LANGUAGE ExistentialQuantification, TypeFamilies, NamedFieldPuns, FlexibleContexts #-}
module Framework.Forms.Validation
(refillForm, refillFormU,
formVars, formVarsNames, formVarsValues,
diff --git a/Framework/TEngine/Types.hs b/Framework/TEngine/Types.hs
index 51940fb..45d77a1 100644
--- a/Framework/TEngine/Types.hs
+++ b/Framework/TEngine/Types.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE ExistentialQuantification, RankNTypes, MultiParamTypeClasses, FlexibleContexts, FlexibleInstances, TypeSynonymInstances, UndecidableInstances, ImpredicativeTypes, ScopedTypeVariables, IncoherentInstances #-}
+{-# LANGUAGE ExistentialQuantification, RankNTypes, MultiParamTypeClasses, FlexibleContexts, FlexibleInstances, TypeSynonymInstances, UndecidableInstances, ScopedTypeVariables, IncoherentInstances #-}
module Framework.TEngine.Types where
import Data.List
diff --git a/Framework/Types.hs b/Framework/Types.hs
index 173d422..001272d 100644
--- a/Framework/Types.hs
+++ b/Framework/Types.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE OverloadedStrings, TypeSynonymInstances, FlexibleInstances, ExistentialQuantification, OverlappingInstances, IncoherentInstances, FlexibleContexts, UndecidableInstances, RankNTypes, ImpredicativeTypes, ScopedTypeVariables, MultiParamTypeClasses #-}
+{-# LANGUAGE OverloadedStrings, TypeSynonymInstances, FlexibleInstances, ExistentialQuantification, OverlappingInstances, IncoherentInstances, FlexibleContexts, UndecidableInstances, RankNTypes, ScopedTypeVariables, MultiParamTypeClasses #-}
module Framework.Types where
import Control.Concurrent.Chan