<html>
<head>
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<br>
<br>
<div class="moz-cite-prefix">On 08.02.2016 16:36, Wojtek Narczyński
wrote:<br>
</div>
<blockquote cite="mid:56B8B604.9030804@power.com.pl" type="cite">
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
On 05.02.2016 14:49, Richard Eisenberg wrote:<br>
<blockquote
cite="mid:305900D6-F152-4670-9EA1-6F33D6A63D67@cis.upenn.edu"
type="cite">
<meta http-equiv="Content-Type" content="text/html;
charset=UTF-8">
<div>- Edward is right in that (->) isn't really
levity-polymorphic. Well, it is, but it's ad hoc polymorphism
not parametric polymorphism. Perhaps in the future we'll make
this more robust by actually using type-classes to control it,
as we probably should.</div>
<div><br>
</div>
</blockquote>
Could you make (->) work for values of types of user defined
kinds?<br>
<br>
</blockquote>
I overdid it. I meant: <br>
<br>
Could you make (->) work types of user defined kinds?<br>
<br>
I mean more-less normal functions, only with types of kinds other
than * and #.<br>
<br>
-- <br>
Wojtek<br>
</body>
</html>