diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,3 +1,15 @@
+# 0.5.2.1
+
+# Added features
+
+ * Loosen some version bounds
+
+# 0.5.2.0
+
+# Addded features
+
+ * `IN (SELECT ...)` syntax via `inSelectE`
+
 # 0.5.1.2
 
 ## Added features
diff --git a/Database/Beam/Migrate/SQL/Tables.hs b/Database/Beam/Migrate/SQL/Tables.hs
--- a/Database/Beam/Migrate/SQL/Tables.hs
+++ b/Database/Beam/Migrate/SQL/Tables.hs
@@ -44,6 +44,7 @@
 import Database.Beam.Migrate.SQL.SQL92
 
 import Control.Applicative
+import Control.Monad
 import Control.Monad.Identity
 import Control.Monad.Writer.Strict
 import Control.Monad.State
diff --git a/Database/Beam/Migrate/Simple.hs b/Database/Beam/Migrate/Simple.hs
--- a/Database/Beam/Migrate/Simple.hs
+++ b/Database/Beam/Migrate/Simple.hs
@@ -45,7 +45,7 @@
 import           Control.Monad.State
 
 import qualified Data.HashSet as HS
-import           Data.Semigroup (Max(..))
+import           Data.Semigroup (Max(..), Any(..))
 import           Data.Typeable
 import           Data.Functor
 import qualified Data.Text as T
diff --git a/Database/Beam/Migrate/Types/CheckedEntities.hs b/Database/Beam/Migrate/Types/CheckedEntities.hs
--- a/Database/Beam/Migrate/Types/CheckedEntities.hs
+++ b/Database/Beam/Migrate/Types/CheckedEntities.hs
@@ -16,6 +16,7 @@
 import Control.Monad.Identity
 
 import Data.Maybe
+import Data.Monoid
 import Data.Proxy
 import Data.Text (Text)
 import Data.String
diff --git a/beam-migrate.cabal b/beam-migrate.cabal
--- a/beam-migrate.cabal
+++ b/beam-migrate.cabal
@@ -1,5 +1,5 @@
 name:                beam-migrate
-version:             0.5.2.0
+version:             0.5.2.1
 synopsis:            SQL DDL support and migrations support library for Beam
 description:         This package provides type classes to allow backends to implement
                      SQL DDL support for beam. This allows you to use beam syntax to
@@ -64,18 +64,18 @@
                        text                 >=1.2     && <2.1,
                        aeson                >=0.11    && <2.2,
                        bytestring           >=0.10    && <0.12,
-                       free                 >=4.12    && <5.2,
+                       free                 >=4.12    && <5.3,
                        time                 >=1.6     && <1.13,
-                       mtl                  >=2.2     && <2.3,
+                       mtl                  >=2.2     && <2.4,
                        scientific           >=0.3     && <0.4,
-                       vector               >=0.11    && <0.13,
+                       vector               >=0.11    && <0.14,
                        containers           >=0.5     && <0.7,
                        unordered-containers >=0.2     && <0.3,
                        hashable             >=1.2     && <1.5,
                        microlens            >=0.4     && <0.5,
                        parallel             >=3.2     && <3.3,
                        deepseq              >=1.4     && <1.5,
-                       ghc-prim             >=0.5     && <0.10,
+                       ghc-prim             >=0.5     && <0.11,
                        containers           >=0.5     && <0.7,
                        haskell-src-exts     >=1.18    && <1.24,
                        pretty               >=1.1     && <1.2,