(if (typep x 'class)
    (if (typep y 't)
        (call-method 'class 't)
        (no-such-method))
    (if (typep y 'class)
        (if (typep x 't)
            (call-method 't 'class)
            (no-such-method))
        (no-such-method)))