diff --git a/src/Semantic/Util.hs b/src/Semantic/Util.hs
index 9f4b660e7..b94bbf97f 100644
--- a/src/Semantic/Util.hs
+++ b/src/Semantic/Util.hs
@@ -56,7 +56,7 @@ evaluatingWithHoles
   . runTermEvaluator
 
 checking
-  = runM @(Evaluator Monovariant Type) @IO
+  = runM @_ @IO
   . evaluating
   . runPrintingTrace
   . runTermEvaluator