[Haskell-cafe] Polykinded promoted types

Gautier DI FOLCO gautier.difolco at gmail.com
Mon Dec 8 22:52:29 UTC 2014

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,
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20141208/e3af1c2b/attachment.html>

More information about the Haskell-Cafe mailing list