9 Dec
2014
9 Dec
'14
6:52 a.m.
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.