Also, in C++ template value parameters are strongly limited to integral types, whereas in dependent types you can use any.