Plaster

run (defun c (x y) (+ x y)) in sbcl if you inspect it, sbcl will infer the type as (FUNCTION (T T) (VALUES NUMBER &OPTIONAL)) now if you run (defmethod d (x y) (+ x y)) inspect it and check it's %method-function, and it is typed as (FUNCTION (T T) *)