In his stack example, why doesn't the normal method need a filter? Does the execution of methods which match a filter take precedence over unfiltered methods?
I would expect that, as with generic functions, the dispatching favors the most specific method. Therefore, methods with filters would indeed take precedence over unfiltered methods.