NVal should be `n()` and NumPartitions should be `pos_integer()`.