class A [G -> B [ANY]]

feature

	foo: detachable B [DOUBLE]

	bar: detachable G

end