[Haskell-cafe] more thoughts on "Finally tagless"

[Günther Schmidt]

Hi all,

and Oleg et al in particular.

Yeah, subject "Finally Tagless" again, sorry, I'm just not done with it yet.

In Olegs haskell implementation he is using classes mainly to model the 
syntax and instances to use for evaluators / compilers to allow multiple 
interpretations.

I wonder if it'd be possible to do the same without classes using data 
types instead?

Something similar to what Luke Palmer has done here:

http://lukepalmer.wordpress.com/2010/01/24/haskell-antipattern-existential-typeclass/

Günther