<p>OMG! <br>I still have 7.6.3. It has old Typeable.<br></p><p>I misunderstood PolyKinds a bit. It looks like k /= **, k ~ *******...</p><p>But we cannot use "CloseKinds" like</p><p>data Foo (a::k) = Foo a -- catch an error "Expected kind `OpenKind', but `a' has kind `k'"</p><p><br></p><p>with RankNKinds we could write:<br> data Foo (a::**) = Foo a <br> data Bar (a::***) = Bar a<br></p><p>So, now the task is more easy: <br>I'm asking for useful examples with "CloseKinds" with ** and higher, and any
useful
examples for *** and higher </p><div id="editor_compose_signature"><p>cheers, Wvv </p><p>29 Jul 2013 at 14:44:50, José Pedro Magalhães [via Haskell] (<a href="/user/SendEmail.jtp?type=node&node=5733667&i=0" target="_top" rel="nofollow" link="external">[hidden email]</a>) wrote:</p></div><blockquote style='border-left:2px solid #CCCCCC;padding:0 1em' style="border-left:1px solid #BBBBBB;margin:1ex;padding:1ex;">Hi,<br><br><div class="RMCTFUOS gmail_quote">On Fri, Jul 26, 2013 at 10:42 PM, Wvv <span dir="ltr"><<a target="_blank" href="" rel="nofollow" link="external">[hidden email]</a>></span> wrote:<br><blockquote style='border-left:2px solid #CCCCCC;padding:0 1em' style="border-left:2px solid #CCCCCC;padding:0 1em" class="RMCTFUOS gmail_quote">
First useful use is in Typeable.<br>
In GHC 7.8<br>
class Typeable (a::k) where ... <<==>> class Typeable (a ::**) where ...<br>
<br>
But we can't write<br>
data Foo (a::k)->(a::k)->* ... deriving Typeable<br></blockquote><div><br>Why not? This works fine in 7.7, as far as I know.<br><br><br>Cheers,<br>Pedro </div></div></blockquote>
<br/><hr align="left" width="300" />
View this message in context: <a href="http://haskell.1045720.n5.nabble.com/Rank-N-Kinds-tp5733482p5733667.html">RE: Re: Rank N Kinds</a><br/>
Sent from the <a href="http://haskell.1045720.n5.nabble.com/Haskell-Haskell-Cafe-f3074699.html">Haskell - Haskell-Cafe mailing list archive</a> at Nabble.com.<br/>