diff --git a/polysemy-time.cabal b/polysemy-time.cabal
--- a/polysemy-time.cabal
+++ b/polysemy-time.cabal
@@ -5,7 +5,7 @@
 -- see: https://github.com/sol/hpack
 
 name:           polysemy-time
-version:        0.1.3.1
+version:        0.1.3.2
 synopsis:       Polysemy Effect for Time
 description:    Please see the readme on Github at <https://github.com/tek/polysemy-time>
 category:       Time
@@ -186,7 +186,7 @@
       UndecidableInstances
       UnicodeSyntax
       ViewPatterns
-  ghc-options: -flate-specialise -fspecialise-aggressively -Wall -threaded -rtsopts -with-rtsopts=-N -fplugin=Polysemy.Plugin
+  ghc-options: -flate-specialise -fspecialise-aggressively -Wall -threaded -rtsopts -with-rtsopts=-N
   build-depends:
       aeson >=1.4
     , base ==4.*
@@ -196,7 +196,6 @@
     , either
     , hedgehog
     , polysemy >=1.3
-    , polysemy-plugin
     , polysemy-test
     , polysemy-time
     , relude >=0.7
diff --git a/test/Polysemy/Time/Test/GhcTimeTest.hs b/test/Polysemy/Time/Test/GhcTimeTest.hs
--- a/test/Polysemy/Time/Test/GhcTimeTest.hs
+++ b/test/Polysemy/Time/Test/GhcTimeTest.hs
@@ -1,7 +1,7 @@
 module Polysemy.Time.Test.GhcTimeTest where
 
 import Data.Time (Day, UTCTime)
-import Polysemy.Test (UnitTest, assert, runTestAuto, (===))
+import Polysemy.Test (UnitTest, assert, assertEq, runTestAuto)
 import Polysemy.Test.Data.Hedgehog (Hedgehog)
 
 import Polysemy.Time.Calendar (mkDatetime, year)
@@ -11,18 +11,19 @@
 import Polysemy.Time.Ghc (interpretTimeGhc, interpretTimeGhcAt)
 
 prog ::
+  ∀ t d r .
   Ord t =>
   Members [Time t d, Hedgehog IO] r =>
   Sem r ()
 prog = do
-  time1 <- Time.now
-  time2 <- Time.now
-  assert (time1 < time2)
+  time1 <- Time.now @t @d
+  time2 <- Time.now @t @d
+  assert @IO (time1 < time2)
 
 test_ghcTime :: UnitTest
 test_ghcTime =
   runTestAuto do
-    interpretTimeGhc prog
+    interpretTimeGhc (prog @UTCTime @Day)
 
 testTime :: UTCTime
 testTime =
@@ -33,8 +34,8 @@
   runTestAuto do
     interpretTimeGhcAt testTime do
       Time.sleep @UTCTime @Day (Seconds 1)
-      time <- Time.now
-      1846 === year time
-      Time.adjust (Days 366)
-      time1 <- Time.now
-      1847 === year time1
+      time <- Time.now @UTCTime @Day
+      assertEq @_ @IO 1846 (year time)
+      Time.adjust @UTCTime @Day (Days 366)
+      time1 <- Time.now @UTCTime @Day
+      assertEq @_ @IO 1847 (year time1)
diff --git a/test/Polysemy/Time/Test/MeasureTest.hs b/test/Polysemy/Time/Test/MeasureTest.hs
--- a/test/Polysemy/Time/Test/MeasureTest.hs
+++ b/test/Polysemy/Time/Test/MeasureTest.hs
@@ -1,5 +1,6 @@
 module Polysemy.Time.Test.MeasureTest where
 
+import Data.Time (Day, UTCTime)
 import Polysemy.Test (UnitTest, assert, runTestAuto)
 
 import qualified Polysemy.Time.Data.Time as Time
@@ -11,11 +12,11 @@
 test_measure =
   runTestAuto do
     interpretTimeGhc do
-      (t1, t2) <- measure do
-        Time.sleep (MilliSeconds 100)
-        fst <$> measure (Time.sleep (MilliSeconds 100))
-      assert (t2 > convert (MilliSeconds 100))
-      assert (t1 > convert (MilliSeconds 200))
-      assert (t2 < t1)
-      assert (t2 < convert (MilliSeconds 200))
+      (t1, t2) <- measure @_ @UTCTime @Day do
+        Time.sleep @UTCTime @Day (MilliSeconds 100)
+        fst <$> measure @_ @UTCTime @Day (Time.sleep @UTCTime @Day (MilliSeconds 100))
+      assert @IO (t2 > convert (MilliSeconds 100))
+      assert @IO (t1 > convert (MilliSeconds 200))
+      assert @IO (t2 < t1)
+      assert @IO (t2 < convert (MilliSeconds 200))
 
diff --git a/test/Polysemy/Time/Test/TimeUnitTest.hs b/test/Polysemy/Time/Test/TimeUnitTest.hs
--- a/test/Polysemy/Time/Test/TimeUnitTest.hs
+++ b/test/Polysemy/Time/Test/TimeUnitTest.hs
@@ -1,12 +1,12 @@
 module Polysemy.Time.Test.TimeUnitTest where
 
-import Polysemy.Test (UnitTest, runTestAuto, (===))
+import Polysemy.Test (UnitTest, assertEq, runTestAuto)
 
 import Polysemy.Time.Data.TimeUnit (MicroSeconds (MicroSeconds), MilliSeconds (MilliSeconds))
 
 test_fractional :: UnitTest
 test_fractional =
   runTestAuto do
-    MilliSeconds 50 === 0.05
-    MicroSeconds 200 === 0.0002
-    MilliSeconds 50 === (MilliSeconds 100 / MilliSeconds 2)
+    assertEq @_ @IO (MilliSeconds 50) 0.05
+    assertEq @_ @IO (MicroSeconds 200) 0.0002
+    assertEq @_ @IO (MilliSeconds 50) (MilliSeconds 100 / MilliSeconds 2)