[Haskell-cafe] Polykinded promoted types
Gautier DI FOLCO
gautier.difolco at gmail.com
Mon Dec 8 22:52:29 UTC 2014
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...
More information about the Haskell-Cafe