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

[Dan Weston]

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?