I can see what you mean, but it's common to talk about constructors when talking about ADTs. But yes, we can emphasize this.