It only applies to large computations
Idioms could optimise even very small computations like
⍴⍴⍵
, but thunks only apply to much larger ones
Thunk-based pseudo-compilation is too complicated for bullet points