That's a reason why D's default are permissive. You add this or that constraints later, as needed.