How can you deploy a system where you are changing API types in a way that breaks the type checker?

It seems like in almost all cases, you want to evolve in a forward compatible manner, with a very slow deprecation process.