From 500e96b8fc8cc0fbe686db9d717dbe2b7e8a9335 Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@me.com>
Date: Tue, 15 May 2018 13:21:47 -0400
Subject: [PATCH] We already specify the location & value types.

---
 src/Semantic/Util.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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