HN comments for: Use Your Type System