OCaml 中的受保护方法：用类型相等见证编码实现