Shadows in the Desugarer

[Stephan Tobies]

Could anybody please explain to me, what the shadowed equations in the 
desugarer are there for? I fiddleling with the desugarer at the moment 
and I think I ought to know...

Stephan Tobies