http://www.infoq.com/news/2009/01/jpa20
Not sure if the ideas outlined in the article and comments will get us anywhere on the type-safe results front... From what I can tell, other than the annotations processor discussion, our analysis was essentially the same. Still figured that I mention that others are trying to solve the same problem.
Andrus
