>>232
Wadlerの論文のどこの話をしてるの?