Add trait & object Constraint