<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">2014-12-09 0:04 GMT+01:00 Taylor Hedberg <span dir="ltr"><<a href="mailto:t@tmh.cc" target="_blank">t@tmh.cc</a>></span>:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><font face="monospace">$ ghci -XDataKinds -XKindSignatures</font><br><div><font face="monospace">Prelude> </font><span style="font-family:monospace">data K = K</span></div><div><span style="font-family:monospace">Prelude> data Foo (a :: K) = Foo</span></div><div><span style="font-family:monospace">Prelude> :kind Foo</span></div><div><span style="font-family:monospace">Foo :: K -> *</span></div><div><span style="font-family:monospace"><br></span></div><div><font face="arial, helvetica, sans-serif">Note that types with kinds other than * are uninhabited, so you can't write a version of Maybe with that kind (because the Just constructor would require a value that can't exist).</font></div></div></blockquote><div><br>That was quick (and that is that I feared).<br><br>Thanks anyway.<br></div></div></div></div>