I agree on the merits of "pure", but I wouldn't call "auto" bloat. As a quality-of-life improvement, especially for writing generic code, it's pretty useful.