diff --git a/Control/Reference/Generators.hs b/Control/Reference/Generators.hs
index 85d3e3f..1fef7b0 100644
--- a/Control/Reference/Generators.hs
+++ b/Control/Reference/Generators.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE RankNTypes #-}
+{-# LANGUAGE RankNTypes, LiberalTypeSynonyms #-}
 {-# LANGUAGE FlexibleContexts, ScopedTypeVariables #-}
 
 -- | Functions to create references from simple functions 
@@ -100,4 +100,4 @@ filtered p = reference (\s -> if p s then return s else mzero)
                        (\f s -> if p s then f s else return s)
                        
                        
-                       
\ No newline at end of file
+                       
diff --git a/Control/Reference/Predefined/Containers.hs b/Control/Reference/Predefined/Containers.hs
index 2a2a0d3..5ef0258 100644
--- a/Control/Reference/Predefined/Containers.hs
+++ b/Control/Reference/Predefined/Containers.hs
@@ -1,5 +1,5 @@
 {-# LANGUAGE LambdaCase #-}
-{-# LANGUAGE TypeFamilies #-}
+{-# LANGUAGE TypeFamilies, LiberalTypeSynonyms #-}
 {-# LANGUAGE RankNTypes, FlexibleContexts, FlexibleInstances, ScopedTypeVariables #-}
 
 -- | References for standard containers
diff --git a/Control/Reference/TH/Records.hs b/Control/Reference/TH/Records.hs
index 7668821..053a86d 100644
--- a/Control/Reference/TH/Records.hs
+++ b/Control/Reference/TH/Records.hs
@@ -1,5 +1,5 @@
 {-# LANGUAGE TemplateHaskell #-}
-{-# LANGUAGE LambdaCase, TypeOperators #-}
+{-# LANGUAGE LambdaCase, TypeOperators, LiberalTypeSynonyms #-}
 {-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, FlexibleContexts #-}
 
 {-|