From 501eb2291fdabd3b6d2ece8bafb8500c5be69809 Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@me.com>
Date: Wed, 25 Apr 2018 18:04:17 -0400
Subject: [PATCH] :fire: a redundant membership constraint.

---
 src/Analysis/Abstract/Caching.hs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/Analysis/Abstract/Caching.hs b/src/Analysis/Abstract/Caching.hs
index 4fce94311..470a3b8a6 100644
--- a/src/Analysis/Abstract/Caching.hs
+++ b/src/Analysis/Abstract/Caching.hs
@@ -35,7 +35,6 @@ class MonadEvaluator location term value effects m => MonadCaching location term
   isolateCache :: m effects a -> m effects (Cache location term value)
 
 instance ( Effectful m
-         , Member NonDet effects
          , Member (Reader (Cache location term value)) effects
          , Member (State  (Cache location term value)) effects
          , MonadEvaluator location term value effects m