Add compile time checker from alexandrescu