Здравствуйте, hardcase, Вы писали:

H>Здравствуйте, Аноним, Вы писали:

А>>вот это я и называю переусложнение.
А>>есть ли случаи когда можно написать не так?

H>Вы понимаете как выводятся типы в Nemerle?

Да.

Строится система логических(ограничений) уравнений и решается.