use gensym to generate unique anonymous type name