well, if you don't have type annotations, nothing is enforced, obviously. but you can pretty easily make it legacy-code compatible by just having type annotatio

well, if you don't have type annotations, nothing is enforced, obviously. but you can pretty easily make it legacy-code compatible by just having type annotations be optional, but enforced if present