Currently they can force you to use a docstring with types, how is that any different?