>>112
http://citeseer.ist.psu.edu/peytonjones92implementing.html
これの内容は大部分いまのGHCにも通用するんじゃないか?