モナド
https://gyazo.com/3d73121ce53aeceaae72ad46aca6c225
Monadという名前の型クラスで提供される，様々な値を格納できるもの．
IOモナドと呼ばれる専用の型に処理を封じ込め，>>=という連結関数で入出力を制御する．