いうのがポイントである。なかったらアルファベットへの変換をかけて、改めて作成を試みる」のようなことが追加のアロケーションなしで可能になる。このエラー型を使って変換を書く。無条件に受け入れてよいわけではないことに留意しなければならない。ように検証をスライス型の方に移譲しているのと、エラー値の作成で新しく作ったエラー型の方を作っているくらいだろうか。複数の型の値からの作成を認める場合、元となる値をエラーに含めて返すためには多相なエラー型が必要となる。ような一般的な名前にしよう。