Olegさんの Generic polyvariadic printf in Haskell98 は、プレーンなHaskell98で可変長引数関数をつくり，printfを実現しています． 関数の型(a->r)は型構築子(->)と型引数a rからなる型 (->) a r なわけで，型クラスのインスタンスでうまいこと回せば、こ…