Generic types are used more accurately.