モナド変換子
前提
モナドとは計算の文脈である
e.g.
Maybe
計算が失敗するかも
IO
純粋でない計算が起こるかも
モチベーション
複数の文脈を同時に使いたい
Maybe + IO
計算が失敗するかも + 純粋でない計算が起こるかも
自分でそれ専用のモナドを作ってもいいが，面倒くさいので，既にあるものを組み合わせて再利用できると素敵
読むべき記事
Maybe と IO を一緒に使いたくなったら
ryota-ka.icon ワイのブログや