How more time types prevent bugs and add clarity | Dark Hacker News