add Constrain instance for Either