The following is a link to an article talking about Predicate Dispatching in CLOS. I think this may solve the problem I have been speaking about - dispatching based on number and types of arguments. Thought I'd share the idea: http://people.csail.mit.edu/jrb/Projects/ucko-thesis.pdf Would love to hear some opinions. Thanks. Blake