ification becomes 
simpler, too. I believe it will be far easier to teach, and result in much more 
flexible user code.</p>

<p>Other benefits:</p>
<ul>
  <li>All the polymorphism still occurs at compile time.</li>
  <li>Efficiency is increased, in that conversions of the encoding, if required, 
  only occur once at the time of creation, not each time the path is used.</li>
  <li>The size of the implementation code drops approximately in half and 
  becomes much more readable.</li>
</ul>
  <p>Possible probl