(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)))