As I understand it, for any given n, ModInt{n} is a different type. 

The type knows about n but n is not a slot in the type. The type only has 
one slot, k. 

So you can't have a constructor with two parameters as you are declaring it.

>
>

Reply via email to