F # tem citações de código tipado e não tipado e eu me pergunto quais são os casos de uso em que um escolheria um sobre o outro?

É a distinção apenas conveniência e cotações não tipadas e digitadas são conversíveis para cada em todos os casos ou são citações digitadas e. g. um subconjunto dos possíveis com citações não tipificadas?

Há algum exemplo que trabalhe apenas com digitação, mas não com citações não digitadas - ou o contrário?