Faking Dependent Types in C++ | Hacker News Reader