Phillip J. Eby <pje <at> telecommunity.com> writes: > Assuming we used argument declarations to do overloading, and that actual > types (other than 'object') are considered to be more specific than > typeclasses, you would have something like: Lets start a new top-level thread to discuss this specific proposal. -- Talin