関数型言語のモナド (7)

プログラムは関数の集まりで、関数は入力に対し、出力を提供するもの、と見ることができます。
そして、多くの場合、入力される「型」、出力される「型」が設定されていることが多いでしょう。