Кто-то однажды показал мне небольшой "трюк" в SML, где они выписали около 3 или 4 функции в своем REPL, а полученный в результате тип для последнего значения был чрезвычайно длинным (как и многие прокрутки страниц).
Кто-нибудь знает, какой код генерирует такой длинный тип, или если есть имя для такого поведения?