型推論で失われる動的型の優位性って何?