setoid is ccc