diff --git a/hssqlppp.cabal b/hssqlppp.cabal
--- a/hssqlppp.cabal
+++ b/hssqlppp.cabal
@@ -1,5 +1,5 @@
 Name:                hssqlppp
-Version:             0.6.0
+Version:             0.6.1
 Synopsis:            SQL parser and type checker
 License:             BSD3
 License-file:        LICENSE
@@ -36,7 +36,7 @@
                      mtl >= 2.0.1.0 && < 2.3,
                      parsec >= 3.1.2 && < 3.2,
                      pretty >= 1.0 && < 1.2,
-                     syb >= 0.1.0.2 && < 0.7,
+                     syb >= 0.1.0.2 && < 0.8,
                      text >= 0.11.1.13 && < 1.3,
                      uniplate >= 1.6 && < 1.7,
                      transformers >= 0.3 && < 0.6,
@@ -91,11 +91,11 @@
     hs-source-dirs:    src,tests
     Build-Depends:     base >= 4 && < 5,
                        containers >= 0.3.0.0 && < 0.6,
-                       haskell-src-exts >= 1.13 && < 1.18,
+                       haskell-src-exts >= 1.13 && < 1.20,
                        mtl >= 2.1 && < 2.3,
                        parsec >= 3.1 && < 3.2,
                        pretty >= 1.0 && < 1.2,
-                       syb >= 0.1.0.2 && < 0.7,
+                       syb >= 0.1.0.2 && < 0.8,
                        template-haskell,
                        tasty >= 0.10 && < 0.12,
                        tasty-hunit >= 0.9 && < 0.10,
diff --git a/tests/Database/HsSqlPpp/Utils/GroomUtils.lhs b/tests/Database/HsSqlPpp/Utils/GroomUtils.lhs
--- a/tests/Database/HsSqlPpp/Utils/GroomUtils.lhs
+++ b/tests/Database/HsSqlPpp/Utils/GroomUtils.lhs
@@ -17,9 +17,9 @@
 > --groomAAnns = undefined
 
 > groomNoAnns :: Show a => a -> String
-> groomNoAnns = groomF $ const $ Con $ UnQual $ Ident "A"
+> groomNoAnns = groomF $ const $ Con noSrcSpan $ UnQual noSrcSpan $ Ident noSrcSpan "A"
 
-> groomF :: Show a => (Exp -> Exp) -> a -> String
+> groomF :: Show a => (Exp SrcSpanInfo -> Exp SrcSpanInfo) -> a -> String
 > groomF f s =
 >   case parseExp (show s) of
 >     ParseOk ast -> prettyPrint (g ast)
@@ -27,59 +27,22 @@
 >   where
 >     g = transformBi $ \x ->
 >                case x of
->                  RecConstr (UnQual (Ident "Annotation")) _ ->
+>                  RecConstr _ (UnQual _ (Ident _ "Annotation")) _ ->
 >                           f x
 >                  x' -> x'
 
 
 > groomTypes :: Show a => a -> String
 > groomTypes = groomF $ \x -> case x of
->   RecConstr (UnQual (Ident "Annotation"))
->    [FieldUpdate _ _,
->     FieldUpdate (UnQual (Ident "anType")) t,
->     FieldUpdate (UnQual (Ident "anErrs")) (List errs),
->     FieldUpdate _ _,
->     FieldUpdate _ _] -> case (t,errs) of
->                              (Con (UnQual (Ident "Nothing")),[]) ->
->                                  Con (UnQual (Ident "A"))
+>   RecConstr _ (UnQual _ (Ident _ "Annotation"))
+>    [FieldUpdate _ _ _,
+>     FieldUpdate _ (UnQual _ (Ident _ "anType")) t,
+>     FieldUpdate _ (UnQual _ (Ident _ "anErrs")) (List _ errs),
+>     FieldUpdate _ _ _,
+>     FieldUpdate _ _ _] -> case (t,errs) of
+>                              (Con _ (UnQual _ (Ident _ "Nothing")),[]) ->
+>                                  Con noSrcSpan (UnQual noSrcSpan (Ident noSrcSpan "A"))
 >                              (y,[]) -> y
->                              (_,z) -> List z
+>                              (_,z) -> List noSrcSpan z
 >   x' -> x'
 
-
-
-
- (RecConstr (UnQual (Ident "Annotation"))
-      [FieldUpdate (UnQual (Ident "asrc"))
-         (Con (UnQual (Ident "Nothing"))),
-       FieldUpdate (UnQual (Ident "atype"))
-         (Con (UnQual (Ident "Nothing"))),
-       FieldUpdate (UnQual (Ident "errs")) (List []),
-       FieldUpdate (UnQual (Ident "implicitCast"))
-         (Con (UnQual (Ident "Nothing"))),
-       FieldUpdate (UnQual (Ident "catUpd")) (List [])])
-
-
->    {-
->   groomF tte d
->   where
->     tte :: Exp -> Exp
->     tte (Paren
->                   (App
->                    (App
->                     (App
->                      (App
->                       (App
->                        (App (Con (UnQual (Ident "Annotation")))
->                         _) t) te) _) _) _))
->          = case (t,te) of
->               (Con (UnQual (Ident "Nothing")) ,List []) ->
->                  Con (UnQual (Ident "A"))
->               (y,List []) -> y
->               (_,x) -> x
->            {-trace ("\n*************\n"
->                   ++ groom t
->                   ++ "\n*************\n"
->                   ++ groom te
->                   ++ "\n*************\n") $ Tuple [t,te]-}
->     tte x = x-}