Well, yes because you can embed classical logic in constructive logic in many ways but then you lose a lot of convenience. The if you had exensionality things

Well, yes because you can embed classical logic in constructive logic in many ways but then you lose a lot of convenience. The if you had exensionality things get really weird