A typesafe printf.