class
	B [G, H]

inherit
	A [G]
		redefine
			operator
		end

feature

	operator: D [G, H]

end