モナドのクラス定義と必要性

モナドは「文脈を保ったまま次の計算へどうつなぐか」を定義するインターフェース