class A [G]

feature -- Basic operations

	add alias "+" (a: G): G
		do
			Result := a
		end

end