More Typing, Less Testing: TDD with Types, Part 1 | Hacker News Reader