Who doesn't want unsound type systems? | Hacker News Reader