We can already do more with constraints/concept checking templates than could be done with the various language extensions proposed for C++ and similar languages.