Proving Type Inequality in C++ | Hacker News Reader