追加の制約を遵守する必要がある。型がその内容を検査することはできなくなる[9]。関数として内部データへのアクセスを提供するのが一般的である。アクセスを提供している。トレイト等を実装する際に利用できる。ものと同様になるので省略する。追加の制約なしの場合やるだけ。}}自明ついでに、のちのちトレイト定義で使うための便利メソッドも用意しておこう。なくプライベートなメソッドにしておこう。経由で変換を提供することもできるので、公開が必須というわけでもない。制約がある場合、エラー型については多少の工夫の余地がある。内部の型からしか作成を許さない単純なインターフェースにする場合、まずエラー型がこのようになる。