Indeed, I didn't really seek out the "second order simplifications" which this must have enabled in pattern matches.