Root-relative namespace keys

[Patrick R. Michaud]

On Sat, Jan 10, 2009 at 08:26:06PM -0500, Bob Rogers wrote:
> 
> Is there a difference between "this parameter does not participate in
> MMD" and "this parameter participates in MMD and is specialized to type
> 'Any'" [1]?  If so, what?

Sometimes we may want to say "there is a required parameter here"
without having to indicate its type -- e.g., to use arity as
a differentiator.  Yes, if there's a base-level type that is
the super-type of all other types we can use that, but often
that's not the case.

Pm