Yes, one often overlooked benefit is the tooling that is enabled by having proper types. IDEs from jetbrain in particular are great at it.