2008-09-10 memo http://lambda-the-ultimate.org/node/2981 Polymorphic Algebraic Data Type Reconstruction多相代数型再構築??(直訳でもピンと来ない)