The developing type system in Python is really having some nice properties now. Well used, it can help quite a bit with checking an API is properly called by user code. This is nothing new to languages with stricter type systems of course.

This shows quite well why I stay away from Spring Data JPA...

In the end, this is a nice conversation about language design...