I want to finish up our discussion of type inference with a few more topics that are necessary to finish the story. the first issue is the type inference for ML as I have shown it to you so far is too lenient. 