Yes, same deal. Reifying a tycoon gives you a Dec, and that could easily be decorated with (Maybe Kind) additions. The Maybe is so that when you construct a Dec yourself by hand, you don't have to supply the kind information. Simon | -----Original Message----- | From: Duncan Coutts [mailto:duncan.coutts@worcester.oxford.ac.uk] | Sent: 22 June 2004 13:38 | To: Simon Peyton-Jones | Subject: Re: FW: TH quasi-quoting bug - fails on quoting where clause inlet declcontext | | Cheers Simon. | | BTW, Ian and I were looking the other day at how easy/difficult it would | be to get kind information when we reify type names. Does ghc have that | information readily available, or is it not so easy? | | Duncan | | On Tue, 2004-06-22 at 10:50, Simon Peyton-Jones wrote: | > I don't know if I ever mentioned, but I fixed this a while back | > | > SImon | > | > -----Original Message----- | > From: Simon Marlow | > Sent: 18 June 2004 09:43 | > To: Simon Peyton-Jones | > Subject: FW: TH quasi-quoting bug - fails on quoting where clause in let | > declcontext