Flexibility In Type Systems | Hacker News Reader