The Failable type in the article looks like this Result project on GitHub [1]. It makes for interesting related reading.

[1]: https://github.com/antitypical/Result