class
	A [G]

feature

	operator: C [G, ANY]

end