x
Enforcing Type Distinction — LessWrong