[Haskell-cafe] Using Data Types a la Carte

I'm trying to implement a set of languages with a large overlap between them.

From what I understand, there are 3 main ways to do this: Finally Tagless, Data Types a la Carte, or manually.

I'm currently leaning toward DTalaC, but not strongly. There seem to be two packages which implement the DTalaC style: syntactic and compdata. Alternatively, I can write the common code myself. Does anyone have recommendations for which one to use, and any materials for learning to use them? --           Alex R