// 
// Two type parameters might not have the same name
//
class X <A,A> {
}