add concrete example of Constrain instance