[rurban]

> You can do a heart or lung transplant on GHC and make truly major changes and the type checker just guides you to do all the right things.

This only tells that SPJ never had to work in hard realtime nor kernels. GHC code throws and doesn't help in violating latency bounds. Not at all. For such tasks we do have much better systems, without GC.