scopedSort and kind variable left-biasing
ryan.gl.scott at gmail.com
Fri Feb 15 15:50:57 UTC 2019
As Vlad notes in , getting rid of FreeKiTyVars isn't as simple as it
would appear, as we still treat kinds and types differently in other
places, such as data type declarations. For instance:
data Proxy (a :: k) = Proxy -- k is brought into scope implicitly by
I don't know how to overcome this awkwardness, so if you have suggestions,
please comment at .
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the ghc-devs