This could dramatically reduce boilerplate and still produce idiomatic OO code. I'm very excited about this.