Re: [Haskell-cafe] "Rewrite thunk action" rule?

Peter Todd wrote:

Not quite. If I have a thunk, at the low level somewhere it must refer to the transform function, the transform matrix, and the element that is to be transformed. If I apply another transform to that unevaluated thunk, my understanding is that haskell will represent it as such:

thunk transform Ta (thunk transform Tb e)

When I want the following:

thunk transform (Ta * Tb) e

Is this an example of a Thunktor?