From abe6415536a7fc2dfcc7d0cc71fdaeb61668c8d7 Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@me.com>
Date: Thu, 8 Mar 2018 13:34:33 -0500
Subject: [PATCH] :fire: a redundant type signature.

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

diff --git a/src/Control/Abstract/Analysis.hs b/src/Control/Abstract/Analysis.hs
index c736bfe58..03e3c83bd 100644
--- a/src/Control/Abstract/Analysis.hs
+++ b/src/Control/Abstract/Analysis.hs
@@ -45,7 +45,6 @@ liftAnalyze :: ( term ~ TermFor m
             -> SubtermAlgebra (Base term) term (t m value)
 liftAnalyze analyze term = pack1 (analyze (second unpack1 <$> term))
   where pack1 = coerce
-        unpack1 :: Coercible (t m value) (m value) => t m value -> m value
         unpack1 = coerce
 
 liftEvaluate :: ( term ~ TermFor m