あくまで表示のためのString拡張と思って作ってたんですが、この例のようにAPIリクエストでids.map(String.init)している箇所があって、そこに作用があって一瞬ヒヤっとしました。下手に拡張するより、変換用の別のやつを作った方が安全だった...