simplify the expression of some of the G construction
plusG uses the same assoc in both cases even though it is at different types