On 18/11/13 17:07, Christian Maeder wrote: > You do not believe in abstract data types, do you? > > With the constructor exposed you can spoil invariants I understand it that everybody in this thread is talking about exporting it in an .Internal module as is common practice. Like Gregory said: Consumers of modules marked "internal" deserve what they get.