generate is_a_helper specializations