> if you don't have enough functions annotated, the type checker won't be able to provide meaningful output to you

I too thought this but even just one check in a chain has been helpful to me.