8日目は、モナディック関数の join、filterM、と foldLeftM をみて、安全な RPN 電卓を実装して、Kleisli を使ってモナディック関数を合成する方法をみた後で、独自のモナド Prob を実装した。
join
filterM
foldLeftM
Kleisli
Prob