> 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

> 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.