template matching for associative arrays

[PNoel]

Hi,

for arrays there is this way to match arrays in template arguments:
class SomeClass(T : T[])
{
}
But how can you achieve this for AA?
class SomeClass(K[V])
{
}
.. doesn't work. But this does:
class SomeClass(K, V, M : K[V])
{
}
.. but this way you have to know the key and value type in advance
which doesn't help to make the code "better".

Is there a library function to accomplish this or at least a map type decomposition to key/value types?

Thanks in advance.