Continue translate "ML programmer's guide to ATS". (cont.)