ValueLE: t.Type<ValueLE> = ...