diff --git a/typecheck.time b/typecheck.time
index 68025c6..21e5482 100644
--- a/typecheck.time
+++ b/typecheck.time
@@ -1,9 +1,9 @@
-TOTAL: 0m38s
+TOTAL: 0m40s
 Algebra/Function: 0m1s
-Meta/Prelude: 0m4s
+Meta/Prelude: 0m5s
 Class/MonadError: 0m3s
-Class/MonadReader: 0m1s
-Reflection/Syntax: 0m0s
+Class/MonadReader: 0m0s
+Reflection/Syntax: 0m1s
 Reflection/Debug: 0m0s
 Class/MonadTC: 0m2s
 Reflection/TCI: 0m0s
@@ -17,24 +17,24 @@ Class/MonadTC/Instances: 0m0s
 Reflection/Utils/TCI: 0m4s
 Reflection/Utils/TCM: 0m0s
 Reflection/AlphaEquality: 0m0s
-Reflection/AntiUnification: 0m0s
+Reflection/AntiUnification: 0m1s
 Tactic/Try: 0m1s
 Tactic/Rewrite: 0m1s
-Tactic/Extra: 0m1s
-Tactic/Existentials: 0m0s
+Tactic/Extra: 0m0s
+Tactic/Existentials: 0m1s
 Tactic/ByEq: 0m0s
 Tactic/AnyOf: 0m0s
-Tactic/Defaults: 0m1s
+Tactic/Defaults: 0m0s
 Tactic/Assumption: 0m0s
 Tactic/ClauseBuilder: 0m3s
 Tactic/Case: 0m0s
-Tactic/Constrs: 0m0s
-Tactic/EquationalReasoning: 0m1s
+Tactic/Constrs: 0m1s
+Tactic/EquationalReasoning: 0m0s
 Tactic/Eta: 0m0s
-Tactic/Intro: 0m0s
-Tactic/ReduceDec: 0m1s
+Tactic/Intro: 0m1s
+Tactic/ReduceDec: 0m0s
 Tactic/Derive: 0m1s
-Tactic/Derive/TestTypes: 0m0s
+Tactic/Derive/TestTypes: 0m1s
 Tactic/Derive/DecEq: 0m6s
 Tactic/Derive/Show: 0m3s
 Tactic: 0m0s