se).</span>
   <span class="comment">// Also normalise the type, again to reduce code bloat in case we're</span>
   <span class="comment">// called multiple times with functionally identical policies that happen</span>
   <span class="comment">// to be different types.</span>
   <span class="comment">//</span>
   <span class="keyword">typedef</span> <span class="keyword">typename</span> <span class="identifier">policies</span><span class="special">::</span><span class="identifier">normalise</span><span clas