[ Berlin: Moved to NAD. N1932 makes this moot: the input_type template parameter has been eliminated. ]