[Haskell-cafe] using of data types as kinds

[Simon Peyton-Jones]

Sorry should be fixed now (or shortly when the mirror does its stuff)

Simon

| -----Original Message-----
| From: Bulat Ziganshin [mailto:bulatz at HotPOP.com]
| Sent: 22 November 2005 19:28
| To: Simon Peyton-Jones
| Cc: haskell-cafe at 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 at HotPOP.com
| 
|