Changes between Initial Version and Version 1 of Ticket #13992


Ignore:
Timestamp:
Jul 18, 2017 8:11:28 PM (3 years ago)
Author:
Iceland_jack
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #13992 – Description

    initial v1  
    2020}}}
    2121
    22 where the solution is to constraint the kind of `a :: Type`, it would be nice if GHC could reference kind variables.
     22where the solution is to constrain the kind of `a` to `Type`, it would be nice if GHC could reference kind variables.