Well, in C++ one can already use the numerical values with templates for achieving a lot of compile time computations.

So I would be very happy to have this feature in Haskell. It might also be good research towards full dependent types no?