But a better language would allow generalizing over exceptions. In pseudo C++: auto map(collection<T> C collection, function<T> F f) -> invoke_result<F, T> t

But a better language would allow generalizing over exceptions. In pseudo C++: auto map(collection<T> C collection, function<T> F f) -> invoke_result<F, T> throws(invoke_exception<F, T>);