[Haskell-cafe] Polykinded promoted types

[Gautier DI FOLCO]

2014-12-10 16:21 GMT+01:00 Richard Eisenberg <eir at cis.upenn.edu>:

> The problem I see here is that your List1 and List2 kinds are essentially
> untyped. These lists are allowed to store any types. For example, I can say
> `Cons1 'True (Cons1 Int Nil1)`, even though 'True and Int have different
> kinds. Your List3 won't allow such a construction. You're right that the
> kinds aren't isomorphic.
>
> Does this help?
>

Yes, it does.
I guess that there is no way to escape ?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20141210/a05d4df4/attachment.html>