in the same way that Int is a subtype of Optional<Int>. はもっと強い意味だけど、 the default string type used for everyday exchange between APIs. を解決するのにサブタイプは必要ないんじゃないか？っていう意見です。