 move to make
          variant a fusion sequence is rather quirky. A variant will always have
          a size==1 regardless of the number of types it can contain and there's
          no way to know at compile time what it contains. Iterating over its types
          is simply wrong. All these imply that the variant is <span class="bold"><strong>not</strong></span>
          a fusion sequence. (Joel de Guzman)
        </li>
<li class="listitem">
          Oct 12, 2009: The accumulator is the first argumen