:instances Int