One other point to be made with respect to declarations and with-slots is that the types of the slots may already be declared in the class definition. If a slot is declared to be fixnum in the defclass, then it should automatically be treated as such in the body of a with-slots, without having to place another explicit declaration.