4日目 

昨日はカインドと型をおさらいして、Apply と applicative style を探索した後で、 sequenceA にたどり着いた。

続いて今日は Semigroup と Monoid をやってみよう。