Type Expected with generics

``` nimrod
type TMatrix*[T; R, C: static[int]] = array[0..R-1, array[0..C-1, T]] 
proc `*`*[T; R, N, C: static[int]](a: TMatrix[T, R, N], b: TMatrix[T, N, C]): TMatrix[T, R, C] {.noSideEffect.} =
```

Error: type expected
