NestedLoops(
  [        [0    .. $N],  sub {[$_ .. $N]},
    ( sub {[$_+1 .. $N]}, sub {[$_ .. $N]} ) x $D
  ],