Re: [Haskell-cafe] Typed DSL compiler, or converting from an existential to a concrete type