Why are types so cool, Part I: Result types (blue-dinosaur.github.io)