Without wishing to prolong the discussion of type system DESIGN on a mailing list concerned with IMPLEMENTATION, I note that Sun's bug database already has a request for reified generics: http://bugs.sun.com/view_bug.do?bug_id=5098163 Alex