Brandon S. Allbery KF8NH wrote: > typeOf / Typeable is itself an ugly special case, Right. > and really should be designed into the language That's not necessary. The same thing can be done with top-level "<-" (see other thread). -- Ashley Yakeley