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 <vite...@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@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe >
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
