From 9fbbd9a66732a7c5ce987633bb9b160f6dc933ec Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@me.com>
Date: Mon, 22 Oct 2018 12:27:13 -0400
Subject: [PATCH] Generalize unify.

---
 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 2d15d0dd0..c3cc0d995 100644
--- a/src/Data/Abstract/Value/Type.hs
+++ b/src/Data/Abstract/Value/Type.hs
@@ -211,10 +211,11 @@ unify :: ( Member (Reader ModuleInfo) sig
          , Member (Resumable (BaseError TypeError)) sig
          , Member (State TypeMap) sig
          , Carrier sig m
+         , Monad m
          )
       => Type
       -> Type
-      -> Evaluator term address Type m Type
+      -> m Type
 unify a b = do
   a' <- prune a
   b' <- prune b