> I mean, installing packages and type checking can surely be slow. But, at least in my career, I've never seen a galactic blow-up.

Last time I had a galactic blow-up of apt solver (the final part of 64-bit time transition in Debian Testing) it was mere 2 GiB of memory per minute.