diff --git a/Stackage/Config.hs b/Stackage/Config.hs
index 0417cbbb..eed5dd92 100644
--- a/Stackage/Config.hs
+++ b/Stackage/Config.hs
@@ -232,6 +232,7 @@ defaultStablePackages ghcVer requireHP = unPackageMap $ execWriter $ do
         , "executable-path formatting quandl-api"
         , "fgl hmatrix hmatrix-gsl"
         , "alex happy"
+        , "th-lift singletons th-desugar quickcheck-assertions"
         ]
     when (ghcVer < GhcMajorVersion 7 8) $ do -- No GHC 7.8 support
         mapM_ (add "FP Complete <michael@fpcomplete.com>") $ words =<<
diff --git a/patching/patches/th-desugar-1.4.2.patch b/patching/patches/th-desugar-1.4.2.patch
new file mode 100644
index 00000000..1d51c63b
--- /dev/null
+++ b/patching/patches/th-desugar-1.4.2.patch
@@ -0,0 +1,20 @@
+diff -ruN orig/Test/Run.hs new/Test/Run.hs
+--- orig/Test/Run.hs	2014-08-19 09:57:25.537902164 +0300
++++ new/Test/Run.hs	2014-08-19 09:57:25.000000000 +0300
+@@ -27,6 +27,7 @@
+ import Language.Haskell.TH.Desugar.Expand
+ import Language.Haskell.TH.Desugar.Sweeten
+ import Language.Haskell.TH
++import Language.Haskell.TH.Syntax (qRunIO)
+ 
+ import Control.Monad
+ 
+@@ -121,7 +122,7 @@
+                     case (resK, lhs) of
+                       (DStarK, [DVarT _]) -> [| True |]
+                       _                                     -> do
+-                        runIO $ do
++                        qRunIO $ do
+                           putStrLn "Failed bug8884 test:"
+                           putStrLn $ show dinfo
+                         [| False |] )