遷移前の状態は必ず引数に現れ、遷移後の状態は戻り値に現れる
from
関数型プログラミングと型システムのメンタルモデル
遷移前の状態は必ず引数に現れ、遷移後の状態は戻り値に現れる