[kazinator]

The language being discussed has parentheses and brackets:

    Vect n a -> Vect m a -> Vect (n + m) a

What's that around n + m, and how eager are you to replace that with multi-line indentation?

[a3n]

That's an expression, not a code block. I would not want to replace that with anything.