sprintf :: forall fmt[1] . Format fmt[1] => fmt[1] -> Sprintf fmt[1]
formatSpec :: S (I (S (C (List Char))))
main :: List Char
"Int: 42, Char: S."