Monad (functional programming) - Wikipedia

In functional programming, a monad is a structure that combines program fragments (functions) and wraps their return values in a type with additional computation. In addition to defining a wrapping monadic type, monads define two operators: one to wrap a value in the monad type, and another to compose together functions that output values of the monad type (these are known as monadic functions). G

[udzura]

この辺に出ている Haskell コードを写経したい

[usj12262]

関数プログラミングにおけるモナドの説明