> 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.

Have you ever tried building an iOS app? The compiler gives up after a sufficient time because typechecking can be so slow

That only happens with swift, which is dogshit. They allegedly fixed it but anyone worth a damn left long before that