[Haskell-cafe] Polykinded promoted types

[Gautier DI FOLCO]

Hi all,

Is there a way to get a Polykinded promoted type.
For example with *Maybe* I get:
data *Maybe* a = Just a | Nothing
Prelude> :k *Maybe*
*Maybe* :: ** -> **

Is it possible to get a *k -> **? If so, how can I do that?

Thanks in advance for your help,
Regards.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20141208/e3af1c2b/attachment.html>