class A [G]

feature -- Basic operations

	identity alias "+": G
		do
		end

end