However, this is clear that it come at a cost. I don't doubt an OO language pushing this to the extreme would see concept that confuse everybody emerging, pretty much like monads confuse the hell out of everybody in functional languages.
Looks like explicit continuation passing style to me. So "OO done right" means "Human compiler at work"...
