To provide an alternative view, in e.g. Haskell the redundancy would be solved the other way round:

    (stringBuilder :: StringBuilder) <- construct

(Assuming that there was a type class that had construct as a method and StringBuilder was an instance of that class.)