OBJECTIVE CASE CHECKING AND PARAMETRIC VARIATION