Bang and StrictData are fine locally but things get enormously worse when that data flows into deeply-layered libraries that I don't own.
Then, I need to understand and modify the evaluation behavior of a deeply-layered external software stack, including its crazy type-level magic, all before a looming deadline.
Seriously, how is this good for my sanity or career?