[inetknght]

> These are dependent types which C++ does not have at all.

As a C++ developer, that sounds strange. Can you point me to some documentation about "dependent types"?