Really? You need one type “either”, which then wraps your return type or an error as appropriate, giving you compile time guarantees.

That’s not a million little classes, that is one class.