Lazy fizzbuzz in the C++ type system