Against a Universal Definition of Type | Hacker News Reader