副作用のある計算を純粋な関数として扱うために利用されるものでした。型として実現されるのでした。呼ばれることがあります。順番に実行するというアクションが作れるべきです。型のアクションが得られるべきだということです。そのような関数は標準ライブラリで定義されています。計算の一種と思えます。ここではそれぞれ別の概念を表す用語として使っています。いう形の型の値のことです。いう形の型の値のことを指します。ある値を受け取ってそこから何らかの値を生み出す抽象的な枠組みです。型の値を生み出す計算を表します。