class
	TEST1[G->STRING,H->TARGET[G]]
feature
	foo : Y_VARIABLE[G,H]

end