The language being discussed has parentheses and brackets:<p><pre><code>    Vect n a -&gt; Vect m a -&gt; Vect (n + m) a
</code></pre>
What&#x27;s that around n + m, and how eager are you to replace that with multi-line indentation?