OCamlでガード付きメソッドを型等価ウィットネスでエンコードする
Guarded Methods in OCaml
ガード付きメソッドは、レシーバーに特定の制約を課すことで、その制約を満たす場合にのみ呼び出し可能にするメソッドです。OCamlにはこの構文はありませんが、型等価ウィットネス（GADTの`eq`型）を使ってエンコードできます。この記事では、`flatten`や`sum`のようなメソッドを、レシーバーの型パラメータに制約を付けて実装する方法を、具体的なコード例とともに解説します。
私たちの目標は、特定のメソッドに制約を追加して、レシーバーの型がその制約を満たす場合にのみアクセスできるようにすることです。言語の構文を変更せずに、制約をモデル化するには、それを強制する追加のパラメータを提供することで構成できます。つまり、証拠を提供したいのです。