Typesafety 102: How safe, type-safe you want (your code) to be? (cakesolutions.net)