Instance Value class constraint ok