Выполнив printfn "%A" "c", я получаю "c".
printfn "%A" "c"
"c"
Выполнив printfn "%s" "c", я получаю c.
printfn "%s" "c"
c
Почему такая разница? То же самое и с char.
char