[Haskell-cafe] Re: Difficulties with tagless - create "primitives" or compose them

[Günther Schmidt]

Dear Jacques,

I have recently found something new that might also prove to be useful 
for EDSLs.

http://blog.sigfpe.com/2009/05/three-projections-of-doctor-futamura.html

Dan's blog post doesn't give any code or implementation but in a way it 
tackles the same problem, and since you also mention partial evaluation 
and transformation you might also find this interesting.

Then again this might be an old hat to you :)

Best regards

Günther