TypeCheck, not Hint.