ValueGT: t.Type<ValueGT> = ...