Sorry should be fixed now (or shortly when the mirror does its stuff) Simon | -----Original Message----- | From: Bulat Ziganshin [mailto:bulatz@HotPOP.com] | Sent: 22 November 2005 19:28 | To: Simon Peyton-Jones | Cc: haskell-cafe@haskell.org | Subject: Re[2]: [Haskell-cafe] using of data types as kinds | | Hello Simon, | | Tuesday, November 22, 2005, 8:17:38 PM, you wrote: | | SPJ> I have not written anything about what I plan to do in GHC, but | SPJ> basically it amounts to allowing you to use a data type as a | SPJ> kind. Busy doing GADTs and impredicativity at the moment though | | Simon, i can't download file | | http://research.microsoft.com/~simonpj/papers/boxy/boxy-pldi.ps.gz | | reffered at http://research.microsoft.com/~simonpj/papers/boxy/ | | | -- | Best regards, | Bulat mailto:bulatz@HotPOP.com | |