Schemeで書いてるけどまさにそのケースを図で説明してるのがあるよ。
http://saito.hatenablog.jp/entry/20090323/1237790745