
<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div>While it's true that Maybe's kind is (* -> *), there still may be a better answer to your question, which asks, "Is there a way to get a polykinded promoted type?" Maybe isn't polykinded, but it's also not promoted. With</div><div><br></div><div>data Proxy a = P</div><div><br></div><div>we get (Proxy :: k -> *). But that's not promoted either. On the other hand we have ('Just :: k -> Maybe k), which is promoted and polykinded, but maybe not what you want.</div><div><br></div><div>Does this help?</div><div><br></div><div>Richard</div><br><div><div>On Dec 8, 2014, at 5:52 PM, Gautier DI FOLCO <<a href="mailto:gautier.difolco@gmail.com">gautier.difolco@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div dir="ltr">Hi all,<br><br>Is there a way to get a Polykinded promoted type.<br>For example with <b>Maybe</b> I get:<br><div style="margin-left:40px">data <b>Maybe</b> a = Just a | Nothing<br>Prelude> :k <b>Maybe</b><br><b>Maybe</b> :: <i>* -> *</i><br></div><br>Is it possible to get a <i>k -> *</i>? If so, how can I do that?<br><br>Thanks in advance for your help,<br>Regards.<br></div>

_______________________________________________<br>Haskell-Cafe mailing list<br><a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>http://www.haskell.org/mailman/listinfo/haskell-cafe<br></blockquote></div><br></body></html>