This is an ambiguous match, because both `(DispTestAB1, object)` and `(object, DispTestAB1)` would match it, with the same degree of subclass specificity. My solution was to privilege the first argument specificity. (By specificity I mean the choice of lowest subclass).