>>419
>アクションとはIO aを返す関数のことです
アクション(動作)はIO a型の値のことじゃないか？
たとえばputStrは文字列を取って動作を返す関数。
putStr "Hello"は動作。