Length-indexed lists in C++

Over the weekend, while lamenting the lack of dependent types in Haskell, I thought I'd see what C++ can offer in this space. After all, C++ templates allow value parameters »