From 3c267f2757ce1c226b7e2552ce8ba628cc05579d Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@me.com>
Date: Mon, 22 Oct 2018 12:27:06 -0400
Subject: [PATCH] Generalize substitute.

---
 src/Data/Abstract/Value/Type.hs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/Data/Abstract/Value/Type.hs b/src/Data/Abstract/Value/Type.hs
index 53589369c..2d15d0dd0 100644
--- a/src/Data/Abstract/Value/Type.hs
+++ b/src/Data/Abstract/Value/Type.hs
@@ -192,10 +192,11 @@ substitute :: ( Member (Reader ModuleInfo) sig
               , Member (Resumable (BaseError TypeError)) sig
               , Member (State TypeMap) sig
               , Carrier sig m
+              , Monad m
               )
            => TName
            -> Type
-           -> Evaluator term address Type m Type
+           -> m Type
 substitute id ty = do
   infiniteType <- occur id ty
   ty <- if infiniteType