we're going to study type inference a little later in the course and understand how ml actually does it, but i need to tell you a little bit about it now so that you're not concerned on your next homework if you're getting some types back from ml that might surprise you in certain ways.