hindley-milner

Alguien una vez me mostró un pequeño 'truco' en SML donde escribieron alrededor de 3 o 4 funciones en su REPL y el tipo resul ... e página largos). ¿Alguien sabe qué código genera un tipo tan largo, o si hay un nombre para este tipo de comportamiento?