And, just like tfa alludes, it is awkward because of laziness; in non trivial scenarios it can be quite surprising how your trace isn’t tracing. This is bc of

And, just like tfa alludes, it is awkward because of laziness; in non trivial scenarios it can be quite surprising how your trace isn’t tracing. This is bc of non strict eval in Haskell, but still the core is that the lang is designed to not eval stuff when it’s not necessary.