[Haskell-cafe] using of data types as kinds

[kyra]

Bulat Ziganshin wrote:

>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/
>
>
>  
>
Google gives http://www.cis.upenn.edu/~dimitriv/boxy/boxy.ps