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

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.