(defun test2 (s1 s2)
  (declare (optimize speed))
  (etypecase s1
    (a
     (etypecase s2
       (a 0)
       (b 1)))
    (b
     (etypecase s2
       (a 2)
       (b 3)))))