Phantom types in Java | Hacker News Reader