Better type variable names