I personally hate when official documentation uses badly applied approaches because it will be invariably be quoted as source for some "best practices" argument at some point.

That's clearly a use case for interfaces and type-level programming.

They could have made a better and shorter case with error handling logic.