ValueLT: t.Type<ValueLT> = ...