[hesselink]

There are several packages on hackage offering a type safe printf. Some use TH, some use variadic functions (defined with a type class) or other advanced type level features.

[dllthomas]

Variadic functions are used in the package under discussion, and don't get you compile time checking of the format string.