Re: Concepts

[andrea]

@jangko as far as I can tell, there is not concept specialization at all. The 
case with concept is identical to generic case - it is just that there is one 
more constraint checked at compile time on the generic parameter `T`, which is 
required to satisfy the concept. But other than that, everything is the same, 
including specialization, that is always done with a concrete type