Update HW3.hs

The homework asks us to take evalStatTC which uses static typing as an example, but up to now all the homework I have seen is dynamic typing. What is your idea? and I also add an statement to the last, what do you think? Do you think we can define a function of type a ->b?