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.