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

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