diff --git a/semantic-tags/src/Tags/Taggable/Precise.hs b/semantic-tags/src/Tags/Taggable/Precise.hs
index 3cfa577d8..48b80d0dc 100644
--- a/semantic-tags/src/Tags/Taggable/Precise.hs
+++ b/semantic-tags/src/Tags/Taggable/Precise.hs
@@ -178,3 +178,8 @@ instance {-# OVERLAPPABLE #-}
       => Element t (l :+: r) where
   prj (R1 r) = prj r
   prj _      = Nothing
+
+
+class GSum t where
+  type Members t :: (* -> *)
+  gmembers :: t a -> Members t a