class X<of T>

	cue init(value as T)
		base.init
		_value = value
	
	pro value from var as T

	def one as int
		return 1


extend X<of Y>

	def value2 as Y
		return .value


class P

	def main is shared
		x = X<of String>('hi')
		assert x.value == 'hi'
		assert x.value2 == 'hi'