ML Types: Practice sheet

Determine the types of the following ML types and objects, or state that they are not type correct. For the functions, be sure you understand how they work. This is NOT TO HAND IN, as the assignment can be done trivially by typing each of them into the ML interpreter.