Template design with required type parameters?

[Benji Smith]

Benji Smith wrote:
> He was probably thinking something along the lines of the C# construct:
> 
>   class SortedMap<K, V> where K : IComparable {
>     // ...
>   }
> 
> It looks like the contract & assertion will accomplish the same thing, 
> though not quite as cleanly as the parametric constraint in C#.
> 
> --benji

Oops. Looks like I missed the whole section called 'Template 
Specialization'.

Silly me :^P