11日目は、Jeremy Gibbons さんの
Datatype-Generic Programming を読み始めて、
Fix と Bifunctor の巧妙な使い方をみた。
次に「Iterator パターンの本質」(The Essence of the Iterator Pattern) に進み、
Cats が Const を使って Int のようなモノイダル・アプリカティブを表していること、
アプリカティブ関数を合成する方法を欠いていることが分かった。
F[A] と G[A] のペアを表すデータ型である Tuple2K の実装を始め、
アプリカティブ関数を表す AppFunc も実装した。
#388