class X<of T>

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

	def one as int
		return 1


extend X<of Y>

	def value2 as T  # .error. cannot find type
		return .value


class P

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