It does sound like fun, and I might give it a shot. I had been thinking of putting some of my notes up as I work, but so much of it doesn't really lend itself to a blog post, at the moment it's mostly me banging my head against type inference stuff.