Well done Stefan, for reminding us that it can be done today without the magic. Still it's kind-of-inefficient to encode the name of the type constructor that way. There's a case for adding some built in constants at the type level (numbers, strings) and operators over them. Simon | -----Original Message----- | From: glasgow-haskell-users-bounces@haskell.org [mailto:glasgow-haskell-users-bounces@haskell.org] On | Behalf Of Barney Hilken | Sent: 18 September 2007 23:29 | To: Stefan O'Rear | Cc: glasgow-haskell-users@haskell.org | Subject: Re: unique id for data types | | Ah! your link lead me to the HList paper, where all questions are | answered... | | Thanks, | | Barney. | | _______________________________________________ | Glasgow-haskell-users mailing list | Glasgow-haskell-users@haskell.org | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users