On Thu, Oct 04, 2007 at 05:05:23PM +0100, Pasqualino 'Titto' Assini wrote: > Hello Tomasz, > > thank you very much for your advice. > > Just a quick question, why using your own Dyn rather than Data.Dynamic?
Well, it's a bit different from Data.Dynamic. You have a guarantee that (Dyn Term) contains (Term t) for some t. Besides, making Term an instance of Typeable wouldn't buy us anything. You would have to define Type GADT anyway. Best regards Tomek _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe