From e041d2440d7a3acd254653eb0918a15a75de31c1 Mon Sep 17 00:00:00 2001
From: Patrick Thomson <patrickt@github.com>
Date: Fri, 8 Nov 2019 10:16:20 -0500
Subject: [PATCH] :fire: state types in FlowInsensitive.

---
 semantic-analysis/src/Analysis/FlowInsensitive.hs | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/semantic-analysis/src/Analysis/FlowInsensitive.hs b/semantic-analysis/src/Analysis/FlowInsensitive.hs
index a497a0c0d..9b9927260 100644
--- a/semantic-analysis/src/Analysis/FlowInsensitive.hs
+++ b/semantic-analysis/src/Analysis/FlowInsensitive.hs
@@ -27,9 +27,8 @@ newtype FrameId name = FrameId { unFrameId :: name }
   deriving (Eq, Ord, Show)
 
 
-convergeTerm :: forall m c sig a term address proxy
-             .  ( Effect c sig
-                , c ((,) (Cache term a))
+convergeTerm :: forall m sig a term address proxy
+             .  ( Effect sig
                 , Eq address
                 , Has Fresh sig m
                 , Has (State (Heap address a)) sig m