>>707
> 純粋な関数型の枠組みの内部で手続き的な構造をもたらすことが
> モナドを導入する意図の重要なひとつ
それってどのくらい信用していい？
それじゃあ、モナドを導入する意図のうち重要なものをすべて挙げることができる？
あるいは、モナドを導入する意図全体を簡潔に言える？