9日目 

8日目は、Ior データ型、自由モノイド、自由モナド、そして Trampoline データ型をみた。