Integer type must be a model of .