>>239
http://ttic.uchicago.edu/~dreyer/course/papers/wadler.pdf の
Introductionの話だと思う

>>232が何を言いたいのかは分からないけど