05.8"></a>Abstract Datatypes</h3>
<a 
 id="dx11-115001"></a>
<p class="noindent"> The ability to export a datatype without its constructors allows the construction of abstract datatypes (ADTs). For
example, an ADT for stacks could be defined as:
     <div class="quote">
                                                                                   

                                                                                   
     <div class="verbatim" id="verbatim-104">
&#x00A0;&#x00A0;module&#x0