Why are types so cool, Part I: Result types · HackerTrans