Uh okay? Is there an actual source by jetbrains, or are medium articles the only source for rich errors which just seems to be union types?

Also I don't see the benefit from mixing success paths with error paths.