5

TraversableをオーバーロードするすべてのタイプTは、 Zipper Tをもたらします。つまり、インスタンス Traversable Tの存在はZipper Tの十分条件です。

これも必要条件であるという証拠はありますか？（それはかなり些細なことだと思いますが、これまでのところ、ジッパーの正式な一般的な定義は見つかりませんでした。）

4

1 に答える 1