has_deducible versus is_class