For type Person = HasName & HasAge, what must a value of type Person provide?