Implicitly Typed C — LessWrong