1
1
mirror of https://github.com/github/semantic.git synced 2024-11-25 11:04:00 +03:00

Revert "Define a class for projecting out the members of a sum."

This reverts commit b7a93aed3d.
This commit is contained in:
Rob Rix 2019-09-24 11:23:13 -04:00
parent 2572900858
commit f613113dda
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7

View File

@ -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