A fully type-safe, templated version of printf().