Hungarian notation is a human-checked type system, redux

A while ago, I read an article that advocated the use of Hungraian Notation for purposes that can easily be folded into the type system and automatically checked. I wrote a blog post in reply that gave a rough sketch of a solution to the fundamental problem in Haskell. Well, someone else apparently read the same article and had the same idea; the only difference is that the solution he produced is infinitely superior to mine and everyone should go read it instead.