I ran across this FR for the GAE Java libraries. Basically, they want Keys to use generics so that a Key referencing an Entity with kind K is actually a Key.

I wanted to see what y'all thought about this.