algebraicthunk.net/ blog/ entry/ Hungarian notation is a human-checked type system, redux