Kind Demotion

[Ashley Yakeley]

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

_______________________________________________
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users