標準の文字列型がある事は素晴らしいけど、それはそれであって、状況に応じた文字列型が用意されていたりユーザーが(できれば簡単に)新たな文字列型を作れる仕組みって、型安全の視点で見たら大切かも＞＜