From 6ca0fd8e9d8928a0c62495ddc9fac1c4d9a2deb9 Mon Sep 17 00:00:00 2001
From: Rob Rix <robrix@github.com>
Date: Wed, 18 Sep 2019 12:29:56 -0400
Subject: [PATCH] :fire: redundant constraints.

---
 src/Tags/Taggable.hs | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/src/Tags/Taggable.hs b/src/Tags/Taggable.hs
index f79109797..c73af5d8e 100644
--- a/src/Tags/Taggable.hs
+++ b/src/Tags/Taggable.hs
@@ -76,14 +76,13 @@ emitIden span docsLiteralRange name = yield (Iden (formatName name) span docsLit
 
 class (Show1 constr, Traversable constr) => Taggable constr where
   docsLiteral ::
-    ( Functor syntax
-    , Foldable syntax
+    ( Foldable syntax
     , HasTextElement syntax
     )
     => Language -> constr (Term syntax Location) -> Maybe Range
   docsLiteral _ _ = Nothing
 
-  snippet :: (Foldable syntax) => Location -> constr (Term syntax Location) -> Maybe Range
+  snippet :: Foldable syntax => Location -> constr (Term syntax Location) -> Maybe Range
   snippet _ _ = Nothing
 
   symbolName :: Declarations1 syntax => constr (Term syntax Location) -> Maybe Name
@@ -109,7 +108,6 @@ tagging b = foldSubterms (descend (blobLanguage b))
 descend ::
   ( Taggable (TermF syntax Location)
   , ConstructorName (TermF syntax Location)
-  , Functor syntax
   , Foldable syntax
   , HasTextElement syntax
   , Declarations1 syntax