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