Type-directed TDD in Rust | Hacker News Reader