On 12/9/07, Robert Fraser <fraserofthenight at gmail.com> wrote: > Agreed, I really like this idea. Also, you wouldn't really have to invent a new keyword! Neither "constness" nor "constancy" is needed, because we could instead maybe do (const : K) or something. Maybe even (const K) would work?