[Haskell-cafe] Re: The "Exp -> Term a" problem (again), how to dynamically create (polymorphic) typed terms in Haskell ??