but I'd like to just be able to define a "print-my-type" function that gets called.
Why would you want this?
Mayby because he's used Common Lisp before, where it is something that is done quite often. Also, writing one's reader/writer for a home-made type is quite convenient…
P!