mirror of
https://github.com/github/semantic.git
synced 2024-11-25 11:04:00 +03:00
Revert "Define a GSum instance for sums."
This reverts commit 5231b4f282
.
This commit is contained in:
parent
160f61355d
commit
578223a17f
@ -187,8 +187,3 @@ class GSum t where
|
||||
instance GSum f => GSum (M1 i c f) where
|
||||
type Members (M1 i c f) = Members f
|
||||
gmembers = gmembers . unM1
|
||||
|
||||
instance (GSum f, GSum g) => GSum (f :+: g) where
|
||||
type Members (f :+: g) = Members f :+: Members g
|
||||
gmembers (L1 l) = L1 (gmembers l)
|
||||
gmembers (R1 r) = R1 (gmembers r)
|
||||
|
Loading…
Reference in New Issue
Block a user