Well, PLs with effect systems are basically meant to solve exactly this problem. E.g. a generic `map` function can become throwing if it handles throwing lambd

Well, PLs with effect systems are basically meant to solve exactly this problem. E.g. a generic `map` function can become throwing if it handles throwing lambdas, but are otherwise non-throwing - this is pretty much the main pain point with Java's checked exceptions.