class
	A [G]

convert
	to_b: {B [G]}

feature

	to_b: like f is
		do
		end

	f: B [G] 
		do
		end

end