Without guarantee they would end in the same mess as Python with its "types". A contract without guarantee (if compile-time or run-time) is just a hint, not a contract.