Constructive vs Non-constructive traits