From 73d69bdd1551fc33f2b08fcd38f784264fb3ae13 Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@me.com>
Date: Mon, 13 Jan 2020 13:46:36 -0500
Subject: [PATCH] Add some FIXMEs about Traversable1 & GTraversable1.

---
 semantic-tags/src/Tags/Tagging/Precise.hs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/semantic-tags/src/Tags/Tagging/Precise.hs b/semantic-tags/src/Tags/Tagging/Precise.hs
index ad77283cb..51c85d4f6 100644
--- a/semantic-tags/src/Tags/Tagging/Precise.hs
+++ b/semantic-tags/src/Tags/Tagging/Precise.hs
@@ -95,6 +95,7 @@ instance GFoldable1 c U1 where
   gfoldMap1 _ _ = mempty
 
 
+-- FIXME: move Traversable1 into semantic-ast.
 class Traversable1 c t where
   -- | Map annotations and subterms of kind @* -> *@ into an 'Applicative' context.
   traverse1
@@ -115,6 +116,7 @@ foldMap1 :: forall c t b a . (Traversable1 c t, Monoid b) => (a -> b) -> (forall
 foldMap1 f g = getConst . traverse1 @c (Const . f) (Const . g)
 
 
+-- FIXME: move GTraversable1 into semantic-ast.
 class GTraversable1 c t where
   -- | Generically map annotations and subterms of kind @* -> *@ into an 'Applicative' context.
   gtraverse1