Monads

関数型プログラミングの基礎と利点（純粋関数、不変性、モナドの概念）