Kind Demotion

Ashley Yakeley ashley at
Mon Sep 17 01:09:33 CEST 2012

Now that we have type promotion, where certain types can become kinds, I 
find myself wanting kind demotion, where kinds are also types. So for 
instance there would be a '*' type, and all types of kind * would be 
demoted to values of it. Is that feasible?

-- Ashley Yakeley

More information about the Glasgow-haskell-users mailing list