Hasta donde sé, F # no maneja printfn como lo hace con otras funciones debido a su dependencia del tipo en el parámetro de cadena. ¿Podría alguien explicarme por qué eso me impide hacer

let printn = printfn "%A"

El error dice que el tipo se infiere a('a -> unit) y que necesito agregar un parámetro explícito o una anotación de tipo. ¿Por qué? Estoy perfectamente bien con el tipo al que lo infirió. Además, si agrego un punto explícito, todavía tiene el mismo tipo.