Y in Practical Programs
ttp://citeseer.ist.psu.edu/mcadams01practical.html
Yはプログラムの構造を柔軟にし，部品化を促進するためのグルーだという話ですね