e>I =&gt; Option[X[O]]</code>, with  <code>X[_]</code> a functor with traverse, e.g. a tuple or a vector.</li><li>a <code>builder</code> <code>O =&gt; Option[I]</code>
to avoid having to specify types too many types, traits <a href="Translator$$Pattern.html" name="provingground.translation.Translator.Pattern" id="provingground.translation.Translator.Pattern" class="extype">Pattern</a> and <a href="Translator$$Builder.html" name="provingground.translation.Translator.Builder" id="provingground.translation.Tra