It's not that they don't check those things, it's that Haskell's tower of abstractions makes it much harder to figure out where issues are coming up. In most ap

It's not that they don't check those things, it's that Haskell's tower of abstractions makes it much harder to figure out where issues are coming up. In most apps at most you're dealing with GC time other than your actual operations. In Haskell you're dealing with laziness and monad composition atop just GC time.