Type-safe authentication in Spock | Hacker News Reader