"Mistakes and ambiguities in the definition of Standard ML" - читать интересную книгу автора (Kahrs S.)