Yep, it was interesting to me because you can simply avoid all his issues with extensible abstractions like anarki's coerce or defgeneric.