> Enumerated errors. Some part of the tooling should be able to tell me all the errors that a function could raise. I don't know if I'm missing the mark here,

> Enumerated errors. Some part of the tooling should be able to tell me all the errors that a function could raise. I don't know if I'm missing the mark here, but aren't you describing Checked Exceptions?