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