We don't need so many type variables.