From b541a973a4571ec9ace6fdc955602e8504fb1498 Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@me.com>
Date: Thu, 18 Oct 2018 08:20:36 -0400
Subject: [PATCH] appendGraph requires a Monad.

---
 src/Analysis/Abstract/Graph.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Analysis/Abstract/Graph.hs b/src/Analysis/Abstract/Graph.hs
index 089a958cd..729df2204 100644
--- a/src/Analysis/Abstract/Graph.hs
+++ b/src/Analysis/Abstract/Graph.hs
@@ -109,7 +109,7 @@ graphingPackages :: ( Member (Reader PackageInfo) sig
                     , Member (State (Graph ControlFlowVertex)) sig
                     , Member (Reader ControlFlowVertex) sig
                     , Carrier sig m
-                    , Applicative m
+                    , Monad m
                     )
                  => Open (Module term -> m a)
 graphingPackages recur m =
@@ -190,7 +190,7 @@ variableDefinition var = do
   context <- ask
   appendGraph (vertex context `connect` vertex var)
 
-appendGraph :: (Member (State (Graph v)) sig, Carrier sig m) => Graph v -> m ()
+appendGraph :: (Member (State (Graph v)) sig, Carrier sig m, Monad m) => Graph v -> m ()
 appendGraph = modify . (<>)