class CC [G, H -> DD [G]]

create

	set

feature

	set (a_item1: G; a_item2: H)
		do
			item1 := a_item1
			item2 := a_item2
		end
		
	item1: G
	item2: H

	f
		do
				-- H conforms to DD [G].
			item1 := item2.item
		end

end