標準ライブラリは、printfバラディックになる関数を提供します。ただし、引数の型が書式文字列と一致するかどうかのコンパイル時のチェックは行われません。それには依存型が必要であり、実装するのも非常に難しいようです! （型シグネチャを使用してフォーマット文字列全体を解析する必要があります... うん！）
しかし、振り返ってみると、今は疑問に思っています... Template Haskellでこれを行うことはできますか? 実際、これ用のライブラリをすでに書いた人はいますか??
(printf フォーマット仕様を読み取り、必要な N-arg 関数を生成する準クォーターをかなり簡単に作成できるように見えます...)