Implementing Haskell's Type-Level Quicksort in D

[bearophile]

Meta:

> alias One = Typedef!(Succ!Zero);
> alias Two = Typedef!(Succ!One);
> alias Three = Typedef!(Succ!Two);
> alias Four = Typedef!(Succ!Three);

Note that you need a "cookie" for those Typedefs, otherwise they 
are not useful. Unless this gets implemented:
http://d.puremagic.com/issues/show_bug.cgi?id=12100

Bye,
bearophile