Since StringOps is a value class now, you can in reasonably good conscience write this
```
bldr append (str take idx)
```
Just FYI, it's not important. Using take has the added bonus of not exploding if the string turns out to be shorter than you thought.