Checking properties of C++ template types | Hacker News Reader