Typesafety 102: How safe, type-safe you want (your code) to be? | Dark Hacker News