Sergey Gromov wrote: > so that even a!b!c!(x,y) works as a!(b!(c!(x,y))), but a!(b)!(c) is not > accepted. I don't think it's a good idea to say that a!(b)!(c) is never allowed. It intuitively means that a!(b) is aliased to another template.