Type-safe routing in Spock | Hacker News Reader