Horrible answers to "What is a type?" | Dark Hacker News