Interface Type<T extends Type>