一方向モナド

モナドの一種。

returnを通じてモナドに値を入れることが出来るが、その値を取り出すことは出来ない様に実装されている物。IOモナドなど。

主に副作用を吸収する役割で使われる。