[Haskell-cafe] Rank N Kinds

[Daniel Peebles]

The higher universe levels are mostly "used" to stave off logical paradoxes
in languages where you care about that kind of stuff. In a fundamentally
impredicative language like Haskell I don't see much point, but I'd be
happy to find there is one :)


On Thu, Aug 1, 2013 at 4:55 PM, Wvv <vitea3v at rambler.ru> wrote:

> I'm sorry, `instance Functor (TupleList (a :: **)) where ...` isn't right,
> sure.
> The right one is `instance Functor TupleList where ...`
>
>
>
> --
> View this message in context:
> http://haskell.1045720.n5.nabble.com/Rank-N-Kinds-tp5733482p5733700.html
> Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20130801/57f7af16/attachment.htm>