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

J>они мономорфные, типы надо явно указывать, что тут еще обосновывать...

Это С++, а не Йуморле. Большего ожидать не стоит.