I wouldn't be impossible, it just wouldn't work the way a message passing language does.  If you ask me the trade off wouldn't be remotely worth it.<p>You could e.g. have a system where write some type name (or variable with a declared type), hit a key and get a list of all the generic methods that apply.