А, понял. Неплохо, хотя если бы был тип "всё", то и не надо было бы этого вовсе. И как впечатления от использования? Я тут задумался, что шаблоны в каком-нибудь C# довольно сложные. И вроде выкинуть сложность нельзя, например, ко(нтра)вариантность возникает естественно. Но вдруг есть какой-то особый "путь оберона", который позволяет сделать попроще, но в то же время так, что большинство применений будут покрываться.