What I Would Like to See in a Type System | Dark Hacker News