TAPL §22 Reconstruction

23に必要そうだったので読んだ。let-polymorphism とは初耳。morph と form、音の並びが逆だ。