>>790
haskellの型推論なら同じことができるよ。
できないと思っていたのか?