型パラメータほしいっす。

例えば、比較関数で　　public abstract int compare(<typeA> x, <typeA> y) ;
例えば、加算関数で public abstract <typeα> plus(<typeα> x, <typeα> y);

みたいな感じで、引数x と 引数y と、あと戻り値が、同じ型である事を宣言できれば。。。
何でもObjectで宣言して実装でキャスト、みたいなコテコテのコードを、
自然な感じのPolyMorphismとして扱えるやん。。。

で、Java Genericの機能はどのヘンまで北の？
JSRで議論が始まった頃は注目してたけど、
最近はJSRやJDK1.5仕様書、どころか厨房雑誌(JavaWorld)すら隅々まで読む暇もなくて、
よくわかんない。