Для тех, кто думает, что Java Generics прозрачны, как слеза:

Предлагается ответить на три вопроса по поводу этой программки:
1) какой тип первого выражения
2) почему транслятор ругается на второе выражение
3) можно ли как-нибудь на Java изобразить из типа Pair список (type T = Pair<x, T>), хотя бы временный -
что-то вроде
c.print (c.m("1", c.m("2", nil ())))

Upd: А от этого новенькая жаба вообще вылетает на хрен: