class D [G]

create
	make_from_a

convert
	make_from_a ({A [G]})

feature

	make_from_a (a: A [G]) is
		do
		end

end