The nice thing about C++ and templates is that you can implement a scheme exactly like this without special help from the compiler :)