3 ms·

Perhaps it's more accurate to say there are well-known, pervasive, use cases that are not possible without HKTs.