title: Growth of Type Definition in SML Using Hindley Milner Type Inference
body: <p>Someone once showed me a little 'trick' in SML where they wrote out about 3 or 4 functions in their REPL and the resulting type for the last value was extremely long (like many page scrolls long). </p>
  
  <p>Does anyone know what code generates such a long type, or if there is a name for this kind of behavior? </p>