From f613113ddaeb1b007192c408f01d5bed12473c4a Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Tue, 24 Sep 2019 11:23:13 -0400 Subject: [PATCH] Revert "Define a class for projecting out the members of a sum." This reverts commit b7a93aed3d0e2bc6f897b67ec4c56bce52c5620d. --- semantic-tags/src/Tags/Taggable/Precise.hs | 5 ----- 1 file changed, 5 deletions(-) diff --git a/semantic-tags/src/Tags/Taggable/Precise.hs b/semantic-tags/src/Tags/Taggable/Precise.hs index 48b80d0dc..3cfa577d8 100644 --- a/semantic-tags/src/Tags/Taggable/Precise.hs +++ b/semantic-tags/src/Tags/Taggable/Precise.hs @@ -178,8 +178,3 @@ 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