
<html>

  <head>

    <meta content="text/html; charset=windows-1252"

      http-equiv="Content-Type">

  </head>

  <body text="#000000" bgcolor="#FFFFFF">

    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=windows-1252">

      <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>

    -- <br>

    Wojtek<br>

  </body>

</html>