<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>