diff --git a/rest-rewrite.cabal b/rest-rewrite.cabal
--- a/rest-rewrite.cabal
+++ b/rest-rewrite.cabal
@@ -1,6 +1,6 @@
 name:               rest-rewrite
 build-type:         Simple
-version:            0.4.4
+version:            0.4.5
 cabal-version:      2.0
 category:           Rewriting
 maintainer:         Zack Grannan <zgrannan@cs.ubc.ca>
@@ -76,7 +76,7 @@
                 , monad-loops >= 0.4.3 && < 0.5
                 , unordered-containers >= 0.2.11
                 , text
-                , time >= 1.9.3 && < 1.13
+                , time >= 1.9.3 && < 1.15
   exposed-modules:
       Arith
       DSL
diff --git a/testlib/Nat.hs b/testlib/Nat.hs
--- a/testlib/Nat.hs
+++ b/testlib/Nat.hs
@@ -46,7 +46,7 @@
                   ] showInt)
   where
     showInt :: MT.MetaTerm -> Maybe Text
-    showInt t = pack . show <$> termToInt t
+    showInt t = pack . Prelude.show <$> termToInt t
 
 op :: GenParser Char st Op
 op = fmap (Op . pack) (many (alphaNum <|> char '\''))
@@ -96,7 +96,7 @@
 parseTerm :: String -> RuntimeTerm
 parseTerm str =
   case parse term "" str of
-    Left err -> error (show err)
+    Left err -> error (Prelude.show err)
     Right t  -> t
 
 instance IsString RuntimeTerm where