from 関数型プログラミングと型システムのメンタルモデル

遷移前の状態は必ず引数に現れ、遷移後の状態は戻り値に現れる