diff --git a/Math/SMT/Yices/Syntax.hs b/Math/SMT/Yices/Syntax.hs
--- a/Math/SMT/Yices/Syntax.hs
+++ b/Math/SMT/Yices/Syntax.hs
@@ -102,7 +102,7 @@
 space = showChar ' '
 
 showListSepByWith :: (a -> ShowS) -> String -> [a] -> ShowS
-showListSepByWith showsFun sep = foldr1 (.) . intersperse (showString sep) . map showsFun
+showListSepByWith showsFun sep = foldr (.) id . intersperse (showString sep) . map showsFun
 
 showListSepBy :: (Show a) => String -> [a] -> ShowS
 showListSepBy = showListSepByWith (showsPrec 0)
diff --git a/yices.cabal b/yices.cabal
--- a/yices.cabal
+++ b/yices.cabal
@@ -1,5 +1,5 @@
 name:                yices
-version:             0.0.0.7
+version:             0.0.0.8
 synopsis:            Haskell programming interface to Yices SMT solver
 description:         Incomplete (no bitvectors) syntax, parser, and inter
                      process communication to Yices from Haskell through pipe.
@@ -18,7 +18,7 @@
 cabal-version:       >=1.2
 extra-source-files:  Main.hs
 data-files:          README, ChangeLog
-build-depends:       base >= 2 && < 6, haskell98, process, parsec
+build-depends:       base >= 4 && < 5, haskell98, process, parsec
 exposed-modules:     Math.SMT.Yices.Syntax,
                      Math.SMT.Yices.Parser,
                      Math.SMT.Yices.Pipe