>"You… do realize that the type system is meant to constrain values, right?”
>“No,” you inform him, matter-of-factly. “No, that doesn’t sound right.”