18日目には John Launchbury さんと Simon Peyton-Jones さんの Lazy Functional State Threads を少し見ながらエフェクトシステムの一例として Cats Effect を見始めた。
とりあえず IO データ型が逐次的にも並列的にも合成することができるプログラムを記述できることが分かった。