-- eithersG :: (r -> r') -> (l -> l') -> DSum (EitherG l r) ES -> DSum (EitherG l' r') ES
-- eithersG = onEithersG 
rightG b = wire (RightG :=> b)
rightG b = wire (RightG :=> b)
rightG b = wire (RightG :=> b)