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