Swift type checking is undecidable | Hacker News Reader